home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Standards 1994 January / InfoMagic Standards - January 1994.iso / ccitt / 1988 / troff / 10_2_01.tro < prev    next >
Text File  |  1991-12-12  |  76KB  |  2,568 lines
  1. .rs
  2. .\" Troff code generated by TPS Convert from ITU Original Files
  3. .\"                 Not Copyright ( c) 1991 
  4. .\"
  5. .\" Assumes tbl, eqn, MS macros, and lots of luck.
  6. .TA 1c 2c 3c 4c 5c 6c 7c 8c
  7. .ds CH
  8. .ds CF
  9. .EQ
  10. delim @@
  11. .EN
  12. .nr LL 40.5P
  13. .nr ll 40.5P
  14. .nr HM 3P
  15. .nr FM 6P
  16. .nr PO 4P
  17. .nr PD 9p
  18. .po 4P
  19.  
  20. .rs
  21. \v | 5i'
  22. .sp 1P
  23. .ce 1000
  24. \v'12P'
  25. \s12FASCICULE\ X.2
  26. \v'4P'
  27. .RT
  28. .ce 0
  29. .sp 1P
  30. .ce 1000
  31. \fBAnnexe\ D\ \*`a\ la\ Recommandation\ Z.100\fR \v'2P'
  32. .ce 0
  33. .sp 1P
  34. .ce 1000
  35. \fBDIRECTIVES\ POUR\ LES\ USAGERS\ DU\ LDS\fR 
  36. .ce 0
  37. .sp 1P
  38. .LP
  39. .rs
  40. .sp 27P
  41. .LP
  42. Blanc
  43. .bp
  44. .LP
  45. \fBMONTAGE:\ \fR PAGE 2 = PAGE BLANCHE
  46. .sp 1P
  47. .RT
  48. .LP
  49. .EF '%    Fascicule\ X.2\ \(em\ Rec.\ Z.100\ \(em\ Annexe\ D''
  50. .OF '''Fascicule\ X.2\ \(em\ Rec.\ Z.100\ \(em\ Annexe\ D    %'
  51. .LP
  52. .bp
  53. .sp 1P
  54. .ce 1000
  55. ANNEXE\ D\ \o"A\(ga"\ LA\ RECOMMANDATION\ Z.100
  56. .RT
  57. .sp 2P
  58. .ce 0
  59. .sp 1P
  60. .ce 1000
  61. \fBDIRECTIVES\ POUR\ LES\ USAGERS\ DU\ LDS\fR \v'3P'
  62. .ce 0
  63. .sp 1P
  64. .ce 1000
  65. \fBTABLE\ DES\ MATI\o"E\(ga"RES\fR 
  66. .ce 0
  67. .sp 1P
  68. .ad r
  69. \s8Page
  70. \s9D.1
  71.     Pr\*'eface
  72. /
  73. .sp 1P
  74. .RT
  75. .sp 1P
  76. .RT
  77. .ad b
  78. .RT
  79. .ad r
  80. D.2
  81.     Introduction
  82. /
  83. .sp 9p
  84. .RT
  85. .ad b
  86. .RT
  87. .ad r
  88.     D.2.1
  89.     Aper\*,cu g\*'en\*'eral du LDS
  90. /
  91. .ad b
  92. .RT
  93. .ad r
  94.     D.2.1.1
  95.     Le LDS fond\*'e sur un mod\*`ele de machine
  96. \*`a \*'etat finis \*'etendue
  97. /
  98. .ad b
  99. .RT
  100. .ad r
  101.     D.2.2
  102.     Forme syntaxique du LDS
  103. /
  104. .ad b
  105. .RT
  106. .ad r
  107.     D.2.3
  108.     Applicabilit\*'e du LDS
  109. /
  110. .ad b
  111. .RT
  112. .ad r
  113. D.3
  114.     Concepts de base du LDS
  115. /
  116. .sp 9p
  117. .RT
  118. .ad b
  119. .RT
  120. .ad r
  121.     D.3.1
  122.     Syst\*`eme
  123. /
  124. .ad b
  125. .RT
  126. .ad r
  127.     D.3.2
  128.     Blocs
  129. /
  130. .ad b
  131. .RT
  132. .ad r
  133.     D.3.3
  134.     Canaux
  135. /
  136. .ad b
  137. .RT
  138. .ad r
  139.     D.3.4
  140.     Signaux
  141. /
  142. .ad b
  143. .RT
  144. .ad r
  145.     D.3.5
  146.     Acheminement des signaux
  147. /
  148. .ad b
  149. .RT
  150. .ad r
  151.     D.3.6
  152.     Diagrammes de syst\*`eme et de bloc
  153. /
  154. .ad b
  155. .RT
  156. .ad r
  157.     D.3.7
  158.     Commentaires et extension de texte
  159. /
  160. .ad b
  161. .RT
  162. .ad r
  163.     D.3.7.1
  164.     Commentaires
  165. /
  166. .ad b
  167. .RT
  168. .ad r
  169.     D.3.7.2
  170.     Extension de texte
  171. /
  172. .ad b
  173. .RT
  174. .ad r
  175.     D.3.8
  176.     Processus
  177. /
  178. .ad b
  179. .RT
  180. .ad r
  181.     D.3.8.1
  182.     Cr\*'eation de processus
  183. /
  184. .ad b
  185. .RT
  186. .ad r
  187.     D.3.8.2
  188.     Etats
  189. /
  190. .ad b
  191. .RT
  192. .ad r
  193.     D.3.8.3
  194.     Entr\*'ees
  195. /
  196. .ad b
  197. .RT
  198. .ad r
  199.     D.3.8.4
  200.     Mises en r\*'eserve
  201. /
  202. .ad b
  203. .RT
  204. .ad r
  205.     D.3.8.5
  206.     Condition de validation et signaux
  207. continus
  208. /
  209. .ad b
  210. .RT
  211. .ad r
  212.     D.3.8.6
  213.     Sorties
  214. /
  215. .ad b
  216. .RT
  217. .ad r
  218.     D.3.8.7
  219.     T\* | ches
  220. /
  221. .ad b
  222. .RT
  223. .ad r
  224.     D.3.8.8
  225.     D\*'ecisions
  226. /
  227. .ad b
  228. .RT
  229. .ad r
  230.     D.3.8.9
  231.     Branchements et connecteurs
  232. /
  233. .ad b
  234. .RT
  235. .ad r
  236.     D.3.9
  237.     Proc\*'edures
  238. /
  239. .ad b
  240. .RT
  241. .ad r
  242.     D.3.9.1
  243.     Corps de proc\*'edure
  244. /
  245. .ad b
  246. .RT
  247. .ad r
  248.     D.3.9.2
  249.     Appel de proc\*'edure
  250. /
  251. .ad b
  252. .RT
  253. .ad r
  254.     D.3.10
  255.     Traitement des donn\*'ees
  256. /
  257. .ad b
  258. .RT
  259. .ad r
  260.     D.3.10.1
  261.     D\*'eclarations variables
  262. /
  263. .ad b
  264. .RT
  265. .ad r
  266.     D.3.10.2
  267.     Variables r\*'ev\*'el\*'ees/vues
  268. /
  269. .ad b
  270. .RT
  271. .ad r
  272.     D.3.10.3
  273.     Variables
  274. export\*'ees/import\*'ees
  275. /
  276. .ad b
  277. .RT
  278. .ad r
  279.     D.3.10.4
  280.     Expressions
  281. /
  282. .ad b
  283. .RT
  284. .ad r
  285.     D.3.11
  286.     Expression du temps en LDS
  287. /
  288. .ad b
  289. .RT
  290. .ad r
  291.     D.3.12
  292.     Utilisation de qualificatifs
  293. /
  294. .ad b
  295. .RT
  296. .ad r
  297.     D.3.13
  298.     Syntaxe de noms
  299. /
  300. .ad b
  301. .RT
  302. .ad r
  303. D.4
  304.     Structuration et affinage des syst\*`emes en LDS
  305. /
  306. .sp 9p
  307. .RT
  308. .ad b
  309. .RT
  310. .ad r
  311.     D.4.1
  312.     Consid\*'erations g\*'en\*'erales
  313. /
  314. .ad b
  315. .RT
  316. .ad r
  317.     D.4.2
  318.     Crit\*`eres de subdivision
  319. /
  320. .ad b
  321. .RT
  322. .ad r
  323.     D.4.3
  324.     Subdivision des blocs
  325. /
  326. .ad b
  327. .RT
  328. .ad r
  329.     D.4.4
  330.     Diagramme d'arbre de blocs
  331. /
  332. .ad b
  333. .RT
  334. .ad r
  335.     D.4.5
  336.     Division des canaux
  337. /
  338. .ad b
  339. .RT
  340. .ad r
  341.     D.4.6
  342.     Repr\*'esentation du syst\*`eme en cas de
  343. subdivision
  344. /
  345. .ad b
  346. .RT
  347. .ad r
  348.     D.4.6.1
  349.     Sous\(hyensemble de subdivision
  350. coh\*'erent
  351. /
  352. .ad b
  353. .RT
  354. .ad r
  355.     D.4.7
  356.     Affinage
  357. /
  358. .ad b
  359. .RT
  360. .ad r
  361.     D.4.7.1
  362.     Sous\(hyensemble d'affinage
  363. coh\*'erent
  364. /
  365. .ad b
  366. .RT
  367. .ad r
  368.     D.4.7.2
  369.     Transformation entre signaux et
  370. sous\(hysignaux
  371. /
  372. .ad b
  373. .RT
  374. .ad r
  375. D.5
  376.     Concepts suppl\*'ementaires
  377. /
  378. .sp 9p
  379. .RT
  380. .ad b
  381. .RT
  382. .ad r
  383.     D.5.1
  384.     Macros
  385. /
  386. .ad b
  387. .RT
  388. .ad r
  389.     D.5.2
  390.     Syst\*`emes g\*'en\*'eriques
  391. /
  392. .ad b
  393. .RT
  394. .ad r
  395.     D.5.3
  396.     Services
  397. /
  398. .ad b
  399. .RT
  400. .ad r
  401.     D.5.3.1
  402.     Consid\*'erations g\*'en\*'erales
  403. /
  404. .ad b
  405. .RT
  406. .ad r
  407.     D.5.3.2
  408.     Signaux prioritaires
  409. /
  410. .ad b
  411. .RT
  412. .ad r
  413.     D.5.3.3
  414.     Transformation
  415. /
  416. .ad b
  417. .RT
  418. .ad r
  419.     D.5.4
  420.     Directives applicables \*`a la repr\*'esentation en
  421. fonction des \*'etats et aux \*'el\*'ements graphiques
  422. /
  423. .ad b
  424. .RT
  425. .ad r
  426.     D.5.4.1
  427.     Observations d'ordre g\*'en\*'eral sur la
  428. repr\*'esentation en fonction des \*'etats
  429. /
  430. .ad b
  431. .RT
  432. .ad r
  433.     D.5.4.2
  434.     Illustration d'\*'etat et \*'el\*'ements
  435. graphiques
  436. /
  437. .ad b
  438. .RT
  439. .ad r
  440.     D.5.5
  441.     Diagrams auxiliaires
  442. /
  443. .ad b
  444. .RT
  445. .ad r
  446.     D.5.5.1
  447.     Diagramme synoptique d'\*'etat
  448. /
  449. .ad b
  450. .RT
  451. .ad r
  452.     D.5.5.2
  453.     Matrice \*'etat/signal
  454. /
  455. .ad b
  456. .RT
  457. .ad r
  458.     D.5.5.3
  459.     Diagramme de s\*'equencement
  460. /
  461. .ad b
  462. .RT
  463. .ad r
  464. D.6
  465.     D\*'efinition de donn\*'ees en LDS
  466. /
  467. .sp 9p
  468. .RT
  469. .ad b
  470. .RT
  471. .ad r
  472.     D.6.1
  473.     Directives applicables aux donn\*'ees en LDS
  474. /
  475. .ad b
  476. .RT
  477. .ad r
  478.     D.6.1.1
  479.     Introduction g\*'en\*'erale
  480. /
  481. .ad b
  482. .RT
  483. .ad r
  484.     D.6.1.2
  485.     Sortes
  486. /
  487. .ad b
  488. .RT
  489. .ad r
  490.     D.6.1.3
  491.     Op\*'erateurs, litt\*'eraux et
  492. termes
  493. /
  494. .ad b
  495. .RT
  496. .ad r
  497.     D.6.1.4
  498.     Equations et axiomes
  499. /
  500. .ad b
  501. .RT
  502. .ad r
  503.     D.6.1.5
  504.     Informations compl\*'ementaires
  505. concernant les \*'equations et les axiomes
  506. /
  507. .ad b
  508. .RT
  509. .ad r
  510.     D.6.2
  511.     G\*'en\*'erateurs et h\*'eritage
  512. /
  513. .ad b
  514. .RT
  515. .ad r
  516.     D.6.2.1
  517.     G\*'en\*'erateurs
  518. /
  519. .ad b
  520. .RT
  521. .ad r
  522.     D.6.2.2
  523.     H\*'eritage
  524. /
  525. .ad b
  526. .RT
  527. .ad r
  528.     D.6.3
  529.     Observations relatives aux \*'equations
  530. /
  531. .ad b
  532. .RT
  533. .ad r
  534.     D.6.3.1
  535.     Consid\*'erations g\*'en\*'erales
  536. /
  537. .ad b
  538. .RT
  539. .ad r
  540.     D.6.3.2
  541.     Application de fonctions aux
  542. constructeurs
  543. /
  544. .ad b
  545. .RT
  546. .ad r
  547.     D.6.3.3
  548.     Sp\*'ecification d'ensemble
  549. d'essai
  550. /
  551. .ad b
  552. .RT
  553. .ad r
  554.     D.6.4
  555.     Caract\*'eristiques
  556. /
  557. .ad b
  558. .RT
  559. .ad r
  560.     D.6.4.1
  561.     Op\*'erateurs cach\*'es
  562. /
  563. .ad b
  564. .RT
  565. .ad r
  566.     D.6.4.2
  567.     Relation d'ordre
  568. /
  569. .ad b
  570. .RT
  571. .ad r
  572.     D.6.4.3
  573.     Sortes avec champs
  574. /
  575. .ad b
  576. .RT
  577. .ad r
  578.     D.6.4.4
  579.     Sortes index\*'ees
  580. /
  581. .ad b
  582. .RT
  583. .ad r
  584.     D.6.4.5
  585.     Valeur par d\*'efaut de
  586. variables
  587. /
  588. .ad b
  589. .RT
  590. .ad r
  591.     D.6.4.6
  592.     Op\*'erateurs actifs
  593. /
  594. .ad b
  595. .RT
  596. .ad r
  597. D.7
  598.     Directives suppl\*'ementaires pour le dessin et
  599. l'\*'ecriture
  600. /
  601. .sp 9p
  602. .RT
  603. .ad b
  604. .RT
  605. .ad r
  606.     D.7.1
  607.     Directives pour le LDS/GR
  608. /
  609. .ad b
  610. .RT
  611. .ad r
  612.     D.7.1.1
  613.     Consid\*'erations g\*'en\*'erales
  614. /
  615. .ad b
  616. .RT
  617. .ad r
  618.     D.7.1.2
  619.     Points d'entr\*'ee et de
  620. sortie
  621. /
  622. .ad b
  623. .RT
  624. .ad r
  625.     D.7.1.3
  626.     Symboles
  627. /
  628. .ad b
  629. .RT
  630. .ad r
  631.     D.7.1.4
  632.     Gabarit
  633. /
  634. .ad b
  635. .RT
  636. .ad r
  637.     D.7.2
  638.     Directives applicables au LDS/PR
  639. /
  640. .ad b
  641. .RT
  642. .ad r
  643. D.8
  644.     Documentation
  645. /
  646. .sp 9p
  647. .RT
  648. .ad b
  649. .RT
  650. .ad r
  651.     D.8.1
  652.     Introduction
  653. /
  654. .ad b
  655. .RT
  656. .ad r
  657.     D.8.2
  658.     Types de repr\*'esentation de syst\*`emes
  659. /
  660. .ad b
  661. .RT
  662. .ad r
  663.     D.8.3
  664.     Structure de documents
  665. /
  666. .ad b
  667. .RT
  668. .ad r
  669.     D.8.4
  670.     M\*'ecanisme de r\*'ef\*'erence
  671. /
  672. .ad b
  673. .RT
  674. .ad r
  675.     D.8.5
  676.     Classification des documents
  677. /
  678. .ad b
  679. .RT
  680. .ad r
  681.     D.8.6
  682.     Combinaison de LDS/GR et de LDS/PR
  683. /
  684. .ad b
  685. .RT
  686. .ad r
  687. D.9
  688.     Mises en correspondance
  689. /
  690. .sp 9p
  691. .RT
  692. .ad b
  693. .RT
  694. .ad r
  695.     D.9.1
  696.     Mise en correspondance du LDS et du CHILL
  697. /
  698. .ad b
  699. .RT
  700. .ad r
  701.     D.9.2
  702.     Mise en correspondance du LDS/GR et du
  703. LDS/PR
  704. /
  705. .ad b
  706. .RT
  707. .ad r
  708. D.10
  709.     Exemples d'application
  710. /
  711. .sp 9p
  712. .RT
  713. .ad b
  714. .RT
  715. .ad r
  716.     D.10.1
  717.     Introduction
  718. /
  719. .ad b
  720. .RT
  721. .ad r
  722.     D.10.2
  723.     Le concept de service
  724. /
  725. .ad b
  726. .RT
  727. .ad r
  728. D.11
  729.     Outil pour le LDS
  730. /
  731. .sp 9p
  732. .RT
  733. .ad b
  734. .RT
  735. .ad r
  736.     D.11.1
  737.     Introduction
  738. /
  739. .ad b
  740. .RT
  741. .ad r
  742.     D.11.2
  743.     Cat\*'egories d'outils
  744. /
  745. .ad b
  746. .RT
  747. .ad r
  748.     D.11.3
  749.     Entr\*'ee des documents
  750. /
  751. .ad b
  752. .RT
  753. .ad r
  754.     D.11.4
  755.     V\*'erification des documents
  756. /
  757. .ad b
  758. .RT
  759. .ad r
  760.     D.11.5
  761.     Reproduction des documents
  762. /
  763. .ad b
  764. .RT
  765. .ad r
  766.     D.11.6
  767.     Production des documents
  768. /
  769. .ad b
  770. .RT
  771. .ad r
  772.     D.11.7
  773.     Mod\*'elisation et analyse du syst\*`eme
  774. /
  775. .ad b
  776. .RT
  777. .ad r
  778.     D.11.8
  779.     G\*'en\*'eration de code
  780. /
  781. .ad b
  782. .RT
  783. .ad r
  784.     D.11.9
  785.     Formation
  786. /
  787. .ad b
  788. .RT
  789. .LP
  790. .bp
  791. .LP
  792. D.1
  793.     \fIPr\*'eface\fR 
  794. .sp 1P
  795. .RT
  796. .PP
  797. Le langage de sp\*'ecification et de description du CCITT (LDS) a tout 
  798. d'abord fait l'objet des Recommandations\ Z.101 \*`a\ Z.103 (Tome\ VI.4 
  799. du Livre 
  800. orange,\ 1976) puis, sous une forme d\*'evelopp\*'ee, des Recommandations\ 
  801. Z.101 
  802. \*`a\ Z.104 (Livre jaune,\ 1980) qui ont \*'et\*'e compl\*'et\*'ees et 
  803. regroup\*'ees en\ 1984 dans les Recommandations\ Z.100 \*`a Z.104 (Livre 
  804. rouge). Au cours de la p\*'eriode 
  805. d'\*'etudes 1985\(hy1988, le langage a \*'et\*'e encore d\*'evelopp\*'e 
  806. et harmonis\*'e; les 
  807. Recommandations existantes ont \*'et\*'e fondues en une seule et une d\*'efinition 
  808. math\*'ematique a \*'et\*'e ajout\*'ee.
  809. .PP
  810. Des directives sont indispensables aux utilisateurs pour faciliter
  811. l'utilisation du LDS dans ses applications \*`a une large gamme de syst\*`emes 
  812. de t\*'el\*'ecommunication. Ces directives ont pour but d'aider les utilisateurs 
  813. \*`a 
  814. comprendre la Recommandation concernant le LDS et son application \*`a 
  815. diff\*'erents secteurs. 
  816. .PP
  817. L'emploi du LDS est largement r\*'epandu au sein du CCITT et des
  818. organisations qui en sont membres; en outre, la gamme des applications de ce
  819. langage ne cesse de se d\*'evelopper. Les pr\*'esentes directives sont 
  820. \*'etablies \*`a 
  821. l'intention de ceux qui envisagent d'utiliser ou utilisent d\*'ej\*`a le 
  822. LDS; elles compl\*`etent la Recommandation sur le LDS en y ajoutant des 
  823. conseils judicieux et des exemples utiles. Il y aura certes quelques chevauchements 
  824. entre les 
  825. directives et la Recommandation; cela semble d'ailleurs souhaitable, si
  826. l'on veut que les directives soient autonomes et faciles \*`a consulter. C'est
  827. n\*'eanmoins la Recommandation qui constitue le document de base.
  828. .RT
  829. .sp 2P
  830. .LP
  831. D.2
  832.     \fIIntroduction\fR 
  833. .sp 1P
  834. .RT
  835. .sp 1P
  836. .LP
  837. D.2.1
  838.     \fIAper\*,cu g\*'en\*'eral du LDS\fR 
  839. .sp 9p
  840. .RT
  841. .PP
  842. Le LDS peut servir \*`a sp\*'ecifier le fonctionnement que l'on attend 
  843. d'un syst\*`eme et \*`a d\*'ecrire le fonctionnement effectif d'un syst\*`eme. 
  844. Il a 
  845. \*'et\*'e con\*,cu pour sp\*'ecifier et d\*'ecrire le comportement des
  846. syst\*`emes de commutation qui interviennent dans les t\*'el\*'ecommunications, 
  847. mais 
  848. peut \*'egalement \* | tre utilis\*'e dans une gamme d'applications plus 
  849. large. De fait, le LDS convient particuli\*`erement bien \*`a tous les 
  850. syst\*`emes o\*`u il est 
  851. possible de repr\*'esenter correctement un comportement \*`a l'aide de 
  852. machines \*`a \*'etats finis \*'etendues (\(sc\ D.2.1.1) et o\*`u l'on 
  853. s'int\*'eresse sp\*'ecialement aux 
  854. ph\*'enom\*`enes d'interaction.
  855. .PP
  856. Le LDS peut \*'egalement servir de point de d\*'epart \*`a des m\*'ethodes de
  857. documentation permettant de repr\*'esenter int\*'egralement la sp\*'ecification 
  858. ou la 
  859. description d'un syst\*`eme. Dans ce contexte, la signification de la
  860. sp\*'ecification et de la description est li\*'ee \*`a leur emploi dans 
  861. le cycle de vie d'un syst\*`eme. Chacune d\*'ecrit les propri\*'et\*'es 
  862. fonctionnelles d'un syst\*`eme d'une fa\*,con abstraite. La description 
  863. comprend g\*'en\*'eralement certains aspects li\*'es \*`a la conception 
  864. (par exemple, traitement des erreurs); elle est g\*'en\*'eralement plus 
  865. compl\*`ete en ce qui concerne les d\*'etails fonctionnels. Chacune doit 
  866. concorder avec le mod\*`ele concret du syst\*`eme. Elles servent donc toutes 
  867. deux de 
  868. sp\*'ecifications avant la mise en oeuvre du syst\*`eme, et de documentation
  869. (descriptions) apr\*`es cette m\* | me mise en oeuvre.
  870. .PP
  871. Le LDS peut servir \*`a repr\*'esenter \*`a divers niveaux de d\*'etail les
  872. propri\*'et\*'es fonctionnelles d'un syst\*`eme, d'une fonction ou d'une 
  873. facilit\*'e, 
  874. qu'il s'agisse de leurs sp\*'ecifications ou de leurs descriptions. Les 
  875. propri\*'et\*'es fonctionnelles d\*'esignent certaines propri\*'et\*'es 
  876. structurelles (diagramme 
  877. d'interaction de blocs) ainsi que le comportement. Par <<comportement>>, on
  878. entend la mani\*`ere dont un syst\*`eme r\*'eagit \*`a des signaux re\*,cus 
  879. (entr\*'ees), 
  880. c'est\(hy\*`a\(hydire les actions qu'il ex\*'ecute, par exemple, envoi 
  881. de signaux 
  882. (sorties), formulation de questions (aux fins de d\*'ecision) et ex\*'ecution 
  883. de 
  884. t\* | ches.
  885. .PP
  886. Les sp\*'ecifications peuvent \* | tre tr\*`es g\*'en\*'erales quand une
  887. Administration souhaite \*'etudier les possibilit\*'es de mise \*`a jour 
  888. d'un syst\*`eme en introduisant de nouvelles caract\*'eristiques, de nouveaux 
  889. services, de 
  890. nouvelles techniques,\ etc., tout en laissant au fournisseur la possibilit\*'e
  891. d'offrir de tr\*`es nombreuses solutions pratiques. Des sp\*'ecifications de ce
  892. genre ne donneront g\*'en\*'eralement que peu de d\*'etails. A l'autre 
  893. extr\*'emit\*'e, il y a les sp\*'ecifications par lesquelles une Administration 
  894. demande le remplacement ou l'extension d'un central existant. Dans ce cas, 
  895. les d\*'etails devront 
  896. probablement \* | tre plus pouss\*'es, les sp\*'ecifications des interfaces 
  897. devant \* | tre tr\*`es d\*'etaill\*'ees. 
  898. .PP
  899. Une sp\*'ecification et une description peuvent \* | tre identiques. Il 
  900. est toujours pr\*'ef\*'erable de concevoir les nouvelles r\*'ealisations 
  901. \*`a partir de la 
  902. sp\*'ecification, afin d'en garantir le respect.
  903. .PP
  904. D'une mani\*`ere g\*'en\*'erale, ce sont les fournisseurs qui r\*'edigent les
  905. descriptions pour donner suite \*`a une sp\*'ecification (ou pour d\*'ecrire 
  906. des 
  907. syst\*`emes que le fournisseur veut mettre sur le march\*'e). Une description 
  908. sera g\*'en\*'eralement plus d\*'etaill\*'ee que la sp\*'ecification puisqu'il 
  909. s'agit de rendre 
  910. compte du comportement d\*'etaill\*'e du syst\*`eme.
  911. .PP
  912. Il est \*`a noter \*'egalement que le LDS permet de d\*'ecrire un syst\*`eme 
  913. de mani\*`ere plus ou moins formelle. 
  914. .PP
  915. Premi\*`erement, il est possible de d\*'ecrire un syst\*`eme au moyen de
  916. constructions LDS associ\*'ees au langage naturel. La description ainsi obtenue
  917. permet le transfert de l'information \*`a un lecteur qui conna\* | t le 
  918. contexte, 
  919. mais pas \*`a une machine. Les contr\* | les pouvant \* | tre effectu\*'es 
  920. automatiquement sont tr\*`es limit\*'es. 
  921. .PP
  922. Deuxi\*`emement, il est possible d'associer aux constructions LDS des
  923. \*'enonc\*'es formels constitu\*'es d'\*'el\*'ements de types d\*'efinis 
  924. et d'op\*'erateurs sur ces \*'el\*'ements. Les propri\*'et\*'es de ces 
  925. \*'el\*'ements ne sont pas sp\*'ecifi\*'ees; exemple: 
  926. <<Connecter\ A\(hyB>>, o\*`u\ A et\ B sont du type abonn\*'e et <<Connecter>> 
  927. est une 
  928. op\*'eration autoris\*'ee pour ce type. La sp\*'ecification ainsi obtenue 
  929. permet le 
  930. transfert de l'information aux lecteurs qui connaissent la signification des
  931. op\*'erateurs utilis\*'es. Une machine peut comprendre la description jusqu'\*`a 
  932. un 
  933. certain niveau et peut proc\*'eder \*`a certains contr\* | les; elle ne 
  934. peut pas 
  935. effectuer des contr\* | les complets ni <<mettre en oeuvre>> le syst\*`eme 
  936. car les 
  937. propri\*'et\*'es des op\*'erateurs sont inconnues.
  938. .PP
  939. Troisi\*`emement, il est possible \*'egalement d'indiquer toutes les
  940. propri\*'et\*'es de tous les op\*'erateurs. Dans ce cas, la description 
  941. est enti\*`erement formelle; une machine peut effectuer tous les contr\* | les 
  942. et, en principe, 
  943. mettre en oeuvre les syst\*`emes d\*'ecrits.
  944. .PP
  945. Selon l'objectif vis\*'e, les descriptions peuvent \* | tre adapt\*'ees aux
  946. besoins des usagers au moyen de diff\*'erents niveaux de formalisme.
  947. Naturellement, plus la description est formelle, plus un \* | tre humain 
  948. aura de la difficult\*'e \*`a la lire. 
  949. .PP
  950. Dans le texte qui suit, le terme sp\*'ecification sera utilis\*'e \*`a 
  951. la fois pour la repr\*'esentation n\*'ecessaire et pour celle des comportements 
  952. r\*'eels. 
  953. .RT
  954. .sp 1P
  955. .LP
  956. D.2.2.1
  957.     \fILe LDS fond\*'e sur un \fR \fImod\*`ele de machine \*`a \*'etats finis\fR 
  958. \fI\*'etendue\fR 
  959. .sp 9p
  960. .RT
  961. .PP
  962. En cas d'emploi du LDS, le syst\*`eme \*`a sp\*'ecifier est repr\*'esent\*'e 
  963. par un certain nombre de machines abstraites interconnect\*'ees. Une sp\*'ecification 
  964. compl\*`ete comporte obligatoirement:
  965. .RT
  966. .LP
  967.     1)
  968.      la d\*'efinition de la structure du syst\*`eme en ce qui concerne les 
  969. machines et leurs interconnexions, 
  970. .LP
  971.     2)
  972.     le comportement dynamique de chaque machine, ses
  973. interactions avec les autres machines et avec l'environnement,
  974. et
  975. .LP
  976.     3)
  977.     les op\*'erations sur les donn\*'ees associ\*'ees aux
  978. interactions.
  979. .PP
  980. On d\*'ecrit le comportement dynamique au moyen de mod\*`eles qui
  981. d\*'efinissent les m\*'ecanismes de fonctionnement des machines abstraites 
  982. ainsi que la communication entre les machines. La machine abstraite qu'emploie 
  983. le LDS est une extension de la machine d\*'eterministe \*`a \*'etats finis 
  984. (FSM). La FSM est 
  985. dot\*'ee d'une m\*'emoire d'\*'etats finis internes et fonctionne avec 
  986. un ensemble 
  987. discret et fini d'entr\*'ees et de sorties. Pour chaque combinaison d'une 
  988. entr\*'ee et d'un \*'etat, la m\*'emoire d\*'efinit une sortie ainsi que 
  989. l'\*'etat suivant. On 
  990. consid\*`ere habituellement que la dur\*'ee de transition entre deux \*'etats 
  991. est 
  992. nulle.
  993. .PP
  994. L'une des limites de la FSM est la suivante: toutes les donn\*'ees \*`a
  995. m\*'emoriser doivent \* | tre repr\*'esent\*'ees sous la forme d'\*'etats 
  996. explicites. Il est possible de repr\*'esenter la plupart des syst\*`emes 
  997. de cette fa\*,con, mais ce n'est pas toujours pratique. On peut \* | tre 
  998. appel\*'e \*`a m\*'emoriser un grand nombre de 
  999. valeurs importantes pour le comportement futur mais qui ne contribuent pas
  1000. beaucoup \*`a la compr\*'ehension globale du syst\*`eme. Cette information 
  1001. ne doit pas faire partie de l'espace des \*'etats explicites; en effet, 
  1002. ceci compliquerait la pr\*'esentation. Il est possible pour ce genre d'applications 
  1003. d'\*'etendre la FSM en la dotant d'une m\*'emoire auxiliaire et d'une capacit\*'e 
  1004. de fonctionnement 
  1005. auxiliaire sur cette m\*'emoire. Cette m\*'emoire auxiliaire peut emmagasiner, 
  1006. par 
  1007. exemple, des informations concernant des adresses et des num\*'eros d'ordre.
  1008. .PP
  1009. Les Recommandations relatives au LDS d\*'efinissent deux op\*'erations
  1010. auxiliaires qu'il est possible d'inclure dans les transitions de la machine 
  1011. \*`a \*'etats finis \*'etendue (EFSM), \*`a savoir les d\*'ecisions et 
  1012. les t\* | ches. Les 
  1013. <<d\*'ecisions>> v\*'erifient des param\*`etres associ\*'es aux entr\*'ees 
  1014. et aux donn\*'ees 
  1015. contenues dans la m\*'emoire auxiliaire lorsque ces donn\*'ees sont importantes 
  1016. pour le s\*'equencement de la machine principale. Les <<t\* | ches>> ex\*'ecutent 
  1017. des fonctions telles que le comptage, des op\*'erations sur la m\*'emoire 
  1018. auxiliaire et la 
  1019. manipulation de param\*`etres d'entr\*'ee et de sortie.
  1020. .PP
  1021. En LDS, des signaux repr\*'esentent les interactions entre machines,
  1022. c'est\(hy\*`a\(hydire que les EFSM re\*,coivent des signaux comme entr\*'ees 
  1023. et produisent des signaux comme sorties. Les signaux se composent d'un 
  1024. seul identificateur de signal et facultativement d'un ensemble de param\*`etres. 
  1025. Le LDS pr\*'evoit la 
  1026. possibilit\*'e d'un temps de transition diff\*'erent de z\*'ero, et d\*'efinit 
  1027. un m\*'ecanisme th\*'eorique de mise en file d'attente <<premier entr\*'e, 
  1028. premier sorti>> pour les 
  1029. signaux qui parviennent \*`a une machine en train d'ex\*'ecuter une transition. 
  1030. Les signaux sont trait\*'es \*`a tour de r\* | le, dans leur ordre d'arriv\*'ee. 
  1031. .RT
  1032. .sp 1P
  1033. .LP
  1034. D.2.2
  1035.     \fIFormes syntaxiques du LDS\fR 
  1036. .sp 9p
  1037. .RT
  1038. .PP
  1039. Le LDS est un langage qui se pr\*'esente sous deux formes diff\*'erentes, 
  1040. fond\*'ees toutes deux sur le m\* | me mod\*`ele s\*'emantique. L'une est 
  1041. appel\*'ee LDS/GR (LDS graphical representation) et repose sur un ensemble 
  1042. de symboles graphiques normalis\*'es. L'autre s'appelle LDS/PR (LDS textual 
  1043. phrase representation) et 
  1044. repose sur des instructions analogues \*`a un langage de programmation. 
  1045. L'une et l'autre repr\*'esentent les m\* | mes concepts du LDS. 
  1046. .PP
  1047. Un langage graphique pr\*'esente l'avantage de montrer clairement la
  1048. structure d'un syst\*`eme et de permettre \*`a des \* | tres humains de 
  1049. visualiser 
  1050. facilement le flux de contr\* | le. La repr\*'esentation textuelle de phrases
  1051. convient mieux \*`a l'utilisation par des machines.
  1052. .PP
  1053. En tant qu'outil de conception, le LDS devrait \* | tre pr\*'esent\*'e 
  1054. sous une forme permettant \*`a l'utilisateur d'exprimer ses id\*'ees clairement 
  1055. et avec 
  1056. concision. Le LDS/GR, qui permet de le faire, correspond davantage \*`a la
  1057. repr\*'esentation traditionnelle des machines \*`a \*'etats finis \*'etendues.
  1058. .PP
  1059. Le LDS/GR est la forme originale du LDS. Il a \*'et\*'e con\*,cu entre 
  1060. 1973 et 1976 a \*'et\*'e publi\*'e pour la premi\*`ere fois dans la version 
  1061. de 1976 des 
  1062. Recommandations de la s\*'erie\ Z.100.
  1063. .PP
  1064. Le LDS/GR a \*'et\*'e \*'etabli sur la base de langages graphiques \*'elabor\*'es 
  1065. par diff\*'erentes organisations pour leurs propres utilisations. 
  1066. .PP
  1067. La repr\*'esentation textuelle de phrases du LDS, c'est\(hy\*`a\(hydire le
  1068. LDS/PR, a \*'et\*'e con\*,cu pendant la p\*'eriode d'\*'etudes 1977\(hy1980 
  1069. mais il a fallu y 
  1070. apporter certaines am\*'eliorations avant qu'elle puisse faire l'objet d'une
  1071. Recommandation. Ces am\*'eliorations ont \*'et\*'e faites au cours de la 
  1072. p\*'eriode 
  1073. d'\*'etudes suivante et, d\*`es 1984, le LDS/PR est devenu l'une des syntaxes
  1074. concr\*`etes recommand\*'ees du LDS.
  1075. .PP
  1076. Dans un premier temps, le LDS/PR devait \* | tre utilis\*'e comme un moyen 
  1077. ais\*'e d'introduire des documents en LDS dans une machine, ce qui \*'etait 
  1078. trop 
  1079. difficile avec le GR (en effet, cela n\*'ecessitait l'intervention d'\*'equipements 
  1080. p\*'eriph\*'eriques graphiques). C'est pour cette raison que l'on a insist\*'e 
  1081. sur une mise en mati\*`ere de terminaux graphiques (capacit\*'es accrues 
  1082. et r\*'eduction des 
  1083. co\* | ts) ont fait que le GR est d\*'esormais susceptible d'\* | tre introduit 
  1084. en 
  1085. machine. Cela ne diminue en rien l'importance et l'utilisation du PR car
  1086. certains utilisateurs le trouvent plus \*`a leur convenance, particuli\*`erement 
  1087. ceux qui travaillent avec des langages de programmation.
  1088. .PP
  1089. Du fait de cette \*'evolution, la corr\*'elation entre le GR et le PR est
  1090. moins \*'etroite; cependant, il est encore possible de mettre en correspondance
  1091. sans difficult\*'e l'une de ces repr\*'esentations avec l'autre, bien que 
  1092. chacune 
  1093. d'elles ait ses propres particularit\*'es. A premi\*`ere vue, le PR ressemble
  1094. fortement \*`a un langage de programmation (voir la figure\ D\(hy2.2.1).
  1095. .RT
  1096. .LP
  1097. .rs
  1098. .sp 01P
  1099. .ad r
  1100. \fBFigure D\(hy2.2.1 [T1.100] \ \ 
  1101. (\*`a traiter comme tableau MEP, p.\fR 
  1102. .ad b
  1103. .RT
  1104. .PP
  1105. En fait, tout d\*'epend de ce qui caract\*'erise un texte du point de
  1106. vue du langage de programmation.
  1107. .PP
  1108. Si nous admettons qu'un programme est d\*'efini comme une <<information
  1109. interpr\*'etable par une machine>>, non seulement les PR mais aussi les 
  1110. GR sont des <<programmes>>. 
  1111. .PP
  1112. Il existe cependant certaines diff\*'erences entre une sp\*'ecification 
  1113. en LDS et un programme r\*'eel. Tout d'abord, il n'est pas indispensable 
  1114. qu'une 
  1115. sp\*'ecification en LDS puisse \* | tre ex\*'ecut\*'ee par une machine 
  1116. (bien que cela ne 
  1117. soit pas interdit); ce qui est essentiel, c'est sa capacit\*'e d'acheminer des
  1118. renseignements pr\*'ecis d'un \* | tre humain \*`a un autre \* | tre humain.
  1119. .PP
  1120. Si nous consid\*'erons une sp\*'ecification en LDS comme un programme, ce
  1121. qui peut \* | tre tenu pour une <<sp\*'ecification en LDS erron\*'ee>> 
  1122. (en raison d'un 
  1123. texte informel incomplet) pourrait \* | tre parfaitement valable si elle 
  1124. \*'etait 
  1125. consid\*'er\*'ee comme une repr\*'esentation des caract\*'eristiques fonctionnelles 
  1126. d'un 
  1127. syst\*`eme.
  1128. .PP
  1129. Une autre diff\*'erence r\*'eside dans le <<style>> d'une sp\*'ecification en
  1130. LDS, si on la compare \*`a la repr\*'esentation usuelle d'un programme.
  1131. .PP
  1132. Le LDS ayant pour but de faciliter la communication entre \* | tres
  1133. humains, on s'est efforc\*'e de pr\*'eserver la possibilit\*'e de diff\*'erentes 
  1134. pr\*'esentations, afin que la pr\*'esentation en LDS puisse servir \*`a 
  1135. orienter le 
  1136. lecteur vers certains aspects consid\*'er\*'es comme plus importants que 
  1137. d'autres. 
  1138. Cela est naturellement sans importance pour un programme, qui est cens\*'e 
  1139. \* | tre interpr\*'et\*'e par une machine. La machine n'insiste pas sur 
  1140. un quelconque aspect particulier du programme, mais doit traiter de la 
  1141. m\* | me mani\*`ere son ensemble; en outre, elle n'essaie pas de <<comprendre>> 
  1142. le programme. 
  1143. .PP
  1144. Etant donn\*'e ses similitudes avec un programme, le PR a la pr\*'ef\*'erence 
  1145. de certains programmeurs qui utiliseront probablement aussi le CHILL pour 
  1146. la 
  1147. mise en oeuvre des besoins. On serait donc probablement tent\*'e de rechercher 
  1148. une correspondance point par point entre le PR et le CHILL, afin que les 
  1149. besoins 
  1150. exprim\*'es en PR puissent \* | tre automatiquement transform\*'es en code 
  1151. CHILL. 
  1152. L'inverse est \*'egalement int\*'eressant car cela permettrait la d\*'erivation 
  1153. d'une 
  1154. sp\*'ecification en PR \*`a partir d'un programme en CHILL.
  1155. .PP
  1156. On trouvera au \(sc D.9 des exemples de possibilit\*'es de mettre en
  1157. correspondance le LDS avec le CHILL.
  1158. .RT
  1159. .sp 1P
  1160. .LP
  1161. D.2.3
  1162.     \fIApplicabilit\*'e du LDS\fR 
  1163. .sp 9p
  1164. .RT
  1165. .PP
  1166. La figure D\(hy2.3.1 donne un \*'eventail de possibilit\*'es d'emploi du 
  1167. LDS aux fins d'achat ou de founiture de syst\*`emes de commutation pour 
  1168. les 
  1169. t\*'el\*'ecommunications.
  1170. .PP
  1171. Dans cette figure, les rectangles repr\*'esentent des groupes
  1172. fonctionnels typiques, dont les noms pr\*'ecis, qui peuvent varier d'une
  1173. organisation \*`a l'autre, ayant des activit\*'es repr\*'esentatives de 
  1174. plusieurs 
  1175. Administrations ou de plusieurs fabricants. Chacune des fl\*`eches (lignes de
  1176. liaison) repr\*'esente la circulation d'une s\*'erie de documents entre 
  1177. un groupe 
  1178. fonctionnel et un autre; le LDS peut alors \* | tre employ\*'e en tant 
  1179. que partie de chacune de ces s\*'eries de documents. La figure, donn\*'ee 
  1180. seulement \*`a titre 
  1181. d'illustration, n'est ni d\*'efinitive ni compl\*`ete.
  1182. .PP
  1183. Les domaines d'application sont ceux effectivement mod\*'elis\*'es par 
  1184. des machines \*`a \*'etats finis \*'etendues, communiquant entre elles, 
  1185. par exemple: 
  1186. commutation t\*'el\*'ephonique t\*'elex ou de donn\*'ees, syst\*`emes de 
  1187. signalisation (par exemple, syst\*`eme de signalisation\ n\uo\d\ 7), interfonctionnement 
  1188. des syst\*`emes de signalisation, protocoles pour donn\*'ees et interfaces 
  1189. d'usagers (LHM). 
  1190. .PP
  1191. Si l'on consid\*`ere plus sp\*'ecialement les syst\*`emes de commutation 
  1192. SPC, on peut citer comme exemple de fonctions pouvant \* | tre sp\*'ecifi\*'ees 
  1193. ou d\*'ecrites \*`a l'aide du LDS: le traitement des appels (acheminement, 
  1194. signalisation, 
  1195. comptage,\ etc.), la maintenance, le traitement des d\*'erangements (par 
  1196. exemple, alarmes, rel\*`eve automatique des d\*'erangements, configuration 
  1197. des syst\*`emes, 
  1198. essais p\*'eriodiques,\ etc.), la commande des syst\*`emes (par exemple, 
  1199. protection contre les surcharges), et les interfaces homme\(hymachine. 
  1200. Le \(sc\ D.10 donne 
  1201. des exemples d'application du LDS.
  1202. .PP
  1203. La sp\*'ecification des protocoles o\*`u intervient le LDS fait l'objet 
  1204. des Recommandations de la s\*'erie\ X du CCITT. 
  1205. .RT
  1206. .LP
  1207. .rs
  1208. .sp 01P
  1209. .ad r
  1210. \fBFigure D\(hy2.3.1, p.\fR 
  1211. .ad b
  1212. .RT
  1213. .sp 2P
  1214. .LP
  1215. D.3
  1216.     \fIConcepts de base du LDS\fR 
  1217. .sp 1P
  1218. .RT
  1219. .sp 1P
  1220. .LP
  1221. D.3.1
  1222.     \fISyst\*`eme\fR 
  1223. .sp 9p
  1224. .RT
  1225. .PP
  1226. Comme on a pu le voir plus haut, le LDS repr\*'esente des syst\*`emes \*`a 
  1227. l'aide de mod\*`eles. Ainsi ce qui est d\*'efini par une sp\*'ecification 
  1228. ou une 
  1229. description en LDS constitue le syst\*`eme. Un syst\*`eme LDS peut donc 
  1230. repr\*'esenter \*`a l'aide de mod\*`eles une partie d'un syst\*`eme (ou 
  1231. d'un central) t\*'el\*'ephonique, ou un r\*'eseau complet de syst\*`emes 
  1232. t\*'el\*'ephoniques ou des parties d'un grand 
  1233. nombre de centraux t\*'el\*'ephoniques (par exemple, les dispositifs de 
  1234. contr\* | le de circuit aux deux extr\*'emit\*'es d'un circuit). Il importe 
  1235. de souligner que le 
  1236. syst\*`eme LDS contient, d'un point de vue LDS, tout ce que la sp\*'ecification 
  1237. ou la description tente de d\*'efinir. L'environnement ne rel\*`eve pas 
  1238. de la 
  1239. sp\*'ecification et n'est pas d\*'efini en LDS.
  1240. .PP
  1241. Des canaux relient le syst\*`eme \*`a l'environnement. Th\*'eoriquement, 
  1242. il suffit d'un seul canal bidirectionnel pour connecter le syst\*`eme \*`a 
  1243. l'environnement. Dans la pratique, on d\*'efinit g\*'en\*'eralement des 
  1244. canaux pour 
  1245. chaque jonction logique avec l'environnement.
  1246. .PP
  1247. Chaque syst\*`eme se compose d'un certain nombre de blocs reli\*'es par 
  1248. des canaux. Chaque bloc du syst\*`eme est ind\*'ependant de tous les autres. 
  1249. Chaque bloc peut contenir un ou plusieurs processus d\*'ecrivant le comportement 
  1250. du bloc. 
  1251. Seule l'\*'emission de signaux dans les canaux permet la communication 
  1252. entre des processus plac\*'es dans deux blocs diff\*'erents. Pour subdiviser 
  1253. le syst\*`eme en 
  1254. blocs, on peut prendre des crit\*`eres tels que les suivants: d\*'efinir 
  1255. des parties d'une dimension facilitant la compr\*'ehension, cr\*'eer une 
  1256. correspondance avec la division effective entre le logiciel et le mat\*'eriel, 
  1257. suivre les subdivisions 
  1258. fonctionnelles naturelles, r\*'eduire au minimum les interactions, etc.
  1259. .PP
  1260. Pour de grands syst\*`emes LDS, il existe certaines constructions en LDS 
  1261. qui permettent de sp\*'ecifier les sous\(hystructures des parties d'un 
  1262. syst\*`eme, de sorte qu'en partant d'un aper\*,cu g\*'en\*'eral du syst\*`eme, 
  1263. on peut donner toujours plus de d\*'etails. Dans ce cas, on peut dire que 
  1264. le syst\*`eme est repr\*'esent\*'e \*`a 
  1265. diff\*'erents niveaux de d\*'etail. Ces constructions sont d\*'ecrites 
  1266. au \(sc\ D.4. 
  1267. .PP
  1268. Au premier niveau de pr\*'ecision, la sp\*'ecification en LDS d'un syst\*`eme 
  1269. d\*'ecrit la structure du syst\*`eme et comprend les points suivants, expliqu\*'es 
  1270. dans les paragraphes qui suivent: 
  1271. .RT
  1272. .LP
  1273.     \(em
  1274.     nom du syst\*`eme;
  1275. .LP
  1276.     \(em
  1277.     d\*'efinitions de signaux: sp\*'ecification des types de signaux
  1278. \*'echang\*'es entre les blocs du syst\*`eme ou entre les blocs et l'environnement. 
  1279. Cela comprend la sp\*'ecification des types de valeurs achemin\*'es par 
  1280. les signaux (liste de sortes); 
  1281. .LP
  1282.     \(em
  1283.     d\*'efinitions de listes de signaux: sp\*'ecification des
  1284. identificateurs groupant plusieurs signaux et/ou autres listes de signaux. 
  1285. De tels identificateurs peuvent servir \*`a \*'economiser de l'espace et 
  1286. \*`a donner une sp\*'ecification plus claire; 
  1287. .LP
  1288.     \(em
  1289.      d\*'efinitions de canaux: sp\*'ecification des canaux reliant les blocs 
  1290. du syst\*`eme les uns aux autres et \*`a l'environnement. Une d\*'efinition 
  1291. de canal comprend la sp\*'ecification des identificateurs des signaux achemin\*'es 
  1292. par ce canal; 
  1293. .LP
  1294.     \(em
  1295.     d\*'efinitions de donn\*'ees: sp\*'ecification de nouveaux types de
  1296. syntypes et de g\*'en\*'erateurs d\*'efinis par l'utilisateur et visibles 
  1297. dans tous les blocs; 
  1298. .LP
  1299.     \(em
  1300.      d\*'efinitions de blocs: sp\*'ecification des blocs dans lesquels le 
  1301. syst\*`eme est subdivis\*'e; 
  1302. .LP
  1303.     \(em
  1304.     d\*'efinitions de macros: des directives concernant
  1305. l'utilisation des macros sont donn\*'ees au \(sc\ D.5.1.
  1306. .PP
  1307. Selon la Recommandation concernant le LDS, il existe des types de donn\*'ees 
  1308. pr\*'ed\*'efinis qui peuvent \* | tre utilis\*'es par chaque syst\*`eme. 
  1309. Ils ne 
  1310. n\*'ecessitent pas de d\*'efinition et peuvent \* | tre utilis\*'es au 
  1311. moyen de leurs noms pr\*'ed\*'efinis, c'est\(hy\*`a\(hydire: INTEGER, REAL, 
  1312. CHARACTER, STRING, CHARSTRING, 
  1313. BOOLEAN, PID, TIME, DURATION. Les types de donn\*'ees pr\*'ed\*'efinis 
  1314. sont visibles \*`a tous les niveaux de la d\*'efinition du syst\*`eme; 
  1315. ils peuvent \* | tre consid\*'er\*'es 
  1316. comme d\*'efinis implicitement dans une <<biblioth\*`eque>> de syst\*`eme 
  1317. accessible en tout point de la sp\*'ecification. 
  1318. .PP
  1319. Les noms de sorte utilis\*'es dans les d\*'efinitions de signaux au niveau 
  1320. de syst\*`eme doivent \* | tre introduits par des d\*'efinitions de type 
  1321. partielles 
  1322. visibles au niveau du syst\*`eme, c'est\(hy\*`a\(hydire des types de donn\*'ees 
  1323. pr\*'ed\*'efinis ou des newtypes d\*'efinis par l'utilisateur ou encore 
  1324. des syntypes d\*'efinis \*`a ce niveau. 
  1325. .PP
  1326. On trouvera des explications compl\*'ementaires sur l'utilisation des
  1327. types de donn\*'ees aux \(sc\ D.3.10 et\ D.6.
  1328. .PP
  1329. Le LDS/PR utilis\*'e pour une d\*'efinition de syst\*`eme consiste en un
  1330. ensemble d'instructions se terminant par <<;>> (point\(hyvirgule). La d\*'efinition 
  1331. d'une structure de syst\*`eme commence par l'instruction <<SYSTEM nom;>> et se
  1332. termine par l'instruction <<ENDSYSTEM nom;>>. Le nom de l'instruction terminale 
  1333. est facultatif mais s'il est donn\*'e, il doit \* | tre le m\* | me que 
  1334. le nom donn\*'e 
  1335. apr\*`es le mot cl\*'e SYSTEM. Il est sugg\*'er\*'e de placer toujours 
  1336. le nom dans 
  1337. l'instruction terminale, car cela am\*'eliore la lisibilit\*'e du document.
  1338. .PP
  1339. Le sch\*'ema du LDS/PR d'une d\*'efinition de structure de syst\*`eme est
  1340. repr\*'esent\*'e dans la figure\ D\(hy3.1.1.
  1341. .RT
  1342. .LP
  1343. .rs
  1344. .sp 01P
  1345. .ad r
  1346. \fBFigure D\(hy3.1.1 [T2.100] \ \ 
  1347. (\*`a traiter comme tableau MEP, p.\fR 
  1348. .ad b
  1349. .RT
  1350. .PP
  1351. Pour permettre d'obtenir une repr\*'esentation plus claire et plus
  1352. simple de la structure du syst\*`eme ou permettre une sp\*'ecification 
  1353. descendante de syst\*`eme, le LDS contient un m\*'ecanisme g\*'en\*'eral 
  1354. de r\*'ef\*'erence. A ce niveau, le m\*'ecanisme de r\*'ef\*'erence peut 
  1355. \* | tre appliqu\*'e aux d\*'efinitions de bloc. Cette 
  1356. caract\*'eristique du langage permet \*`a l'utilisateur de sp\*'ecifier 
  1357. pr\*'ecis\*'ement le nom de bloc \*`a l'int\*'erieur de la d\*'efinition 
  1358. de la structure de syst\*`eme; la 
  1359. d\*'efinition de bloc proprement dite peut \* | tre donn\*'ee s\*'epar\*'ement 
  1360. (voir la 
  1361. figure\ D\(hy3.1.2).
  1362. .LP
  1363. .rs
  1364. .sp 01P
  1365. .ad r
  1366. \fBFigure D\(hy3.1.2 [T3.100] \ \ 
  1367. (\*`a traiter comme tableau MEP, p.\fR 
  1368. .ad b
  1369. .RT
  1370. .PP
  1371. Le m\*'ecanisme de r\*'ef\*'erence est particuli\*`erement utilis\*'e dans le
  1372. LDS/GR parce que la plupart des diagrammes doivent tenir sur une seule 
  1373. page et que la place manque souvent pour des sp\*'ecifications graphiques 
  1374. embo\* | t\*'ees. 
  1375. .PP
  1376. On trouvera des exemples de LDS/GR pour une d\*'efinition de syst\*`eme 
  1377. au \(sc\ D.3.6. 
  1378. .RT
  1379. .sp 1P
  1380. .LP
  1381. D.3.2
  1382.     \fIBlocs\fR 
  1383. .sp 9p
  1384. .RT
  1385. .PP
  1386. Les processus peuvent communiquer entre eux \*`a l'int\*'erieur d'un
  1387. bloc, au moyen de signaux, de valeurs partag\*'ees. Ainsi le bloc ne constitue 
  1388. pas seulement un m\*'ecanisme pratique pour le regroupement de processus, 
  1389. mais encore une limite \*`a la visibilit\*'e des donn\*'ees. C'est pourquoi 
  1390. il convient, lors de la d\*'efinition de blocs, de s'assurer du caract\*`ere 
  1391. raisonnable et fonctionnel du regroupement de processus au sein d'un bloc. 
  1392. Dans la plupart des cas, il est 
  1393. utile de fractionner dans un premier temps le syst\*`eme (ou le bloc) en 
  1394. unit\*'es fonctionnelles, puis de d\*'efinir les processus \*`a int\*'egrer 
  1395. dans le bloc. 
  1396. .PP
  1397. A l'int\*'erieur d'un bloc, il est possible (\*`a titre d'option) de
  1398. d\*'efinir les trajets de communication entre les processus ou enter ceux\(hyci 
  1399. et 
  1400. l'environnement du bloc (c'est\(hy\*`a\(hydire la fronti\*`ere du bloc). 
  1401. Ces trajets de communications sont appel\*'es acheminement de signaux. 
  1402. .PP
  1403. Pour un syst\*`eme LDS de grandes dimensions, il est possible de d\*'ecrire 
  1404. la sous\(hystructure d'un bloc en fonction d'autres blocs et de canaux, 
  1405. comme si le bloc \*'etait un syst\*`eme en soi. Ce m\*'ecanisme est expliqu\*'e 
  1406. au \(sc\ D.4. 
  1407. .PP
  1408. La d\*'efinition de la structure d'un bloc peut comporter les points
  1409. suivants:
  1410. .RT
  1411. .LP
  1412.     \(em
  1413.     nom de bloc;
  1414. .LP
  1415.     \(em
  1416.     d\*'efinitions de signaux: sp\*'ecification des types de signaux
  1417. \*'echang\*'es \*`a l'int\*'erieur du bloc. Cela comprend la sp\*'ecification 
  1418. des types de 
  1419. valeurs achemin\*'es par les signaux (liste de sortes);
  1420. .LP
  1421.     \(em
  1422.     d\*'efinitions de listes de signaux: sp\*'ecifications ou
  1423. identificateurs correspondant \*`a des listes de signaux et/ou \*`a d'autres
  1424. identificateurs de listes de signaux. Ces identificateurs, groupant plusieurs 
  1425. signaux, peuvent \* | tre utilis\*'es pour \*'economiser de l'espace et 
  1426. obtenir une 
  1427. sp\*'ecification plus claire;
  1428. .LP
  1429.     \(em
  1430.     d\*'efinitions d'acheminement de signaux: sp\*'ecifications des
  1431. trajets de communication reliant les processus du bloc les uns aux autres 
  1432. et \*`a l'environnement du bloc. Une d\*'efinition d'acheminement de signaux 
  1433. comprend la sp\*'ecification des identificateurs de signaux transport\*'es 
  1434. sur cet acheminement de signaux; 
  1435. .LP
  1436.     \(em
  1437.      connexions de canaux vers des acheminements: sp\*'ecifications des connexions 
  1438. entre les canaux ext\*'erieurs au bloc et les acheminements de 
  1439. signaux internes du bloc;
  1440. .LP
  1441.     \(em
  1442.     d\*'efinitions de processus: sp\*'ecification des types de
  1443. processus d\*'ecrivant le comportement du bloc. Si le bloc n'est pas d\*'ecrit 
  1444. en 
  1445. fonction de sa sous\(hystructure, il faut qu'il y ait au moins une d\*'efinition 
  1446. de type de processus \*`a l'int\*'erieur du bloc. Pour la d\*'efinition 
  1447. du processus, un m\*'ecanisme de r\*'ef\*'erence est fourni comme cela 
  1448. est indiqu\*'e, dans le cas des 
  1449. blocs, au \(sc\ D.3.1;
  1450. .LP
  1451.     \(em
  1452.     d\*'efinitions des donn\*'ees: sp\*'ecification de newtypes, de
  1453. syntypes et de g\*'en\*'erateurrs d\*'efinis par l'usager et visibles dans 
  1454. tous les 
  1455. processus d\*'efinis du bloc et/ou dans la structure\(hystructure du bloc;
  1456. .LP
  1457.     \(em
  1458.      d\*'efinitions de macros: des directives pour l'utilisation de macros 
  1459. sont donn\*'ees au \(sc\ D.5.1. 
  1460. .PP
  1461. S'il existe une sous\(hystructure \*`a l'int\*'erieur du bloc, certains
  1462. des points ci\(hydessus sont facultatifs (voir le \(sc\ D.4 pour les explications 
  1463. concernant la structure).
  1464. .PP
  1465. Les types suivants sont visibles dans un bloc:
  1466. .RT
  1467. .LP
  1468.     \(em
  1469.     des types de donn\*'ees pr\*'ed\*'efinis;
  1470. .LP
  1471.     \(em
  1472.     des types de donn\*'ees d\*'efinis par l'usager, d\*'efinis dans le
  1473. bloc proprement dit;
  1474. .LP
  1475.     \(em
  1476.     des types de donn\*'ees d\*'efinis par l'usager visibles dans le
  1477. bloc ascendant (en cas de subdivision des blocs).
  1478. .PP
  1479. Dans le LDS/PR, les mots cl\*'e BLOCK et ENDBLOCK servent \*`a
  1480. circonscrire une d\*'efinition de bloc. On trouvera des exemples du LDS/GR pour
  1481. une d\*'efinition de bloc au \(sc\ D.3.6.
  1482. .sp 1P
  1483. .LP
  1484. D.3.3
  1485.     \fICanaux\fR 
  1486. .sp 9p
  1487. .RT
  1488. .PP
  1489. Les canaux sont les moyens de communication entre diff\*'erents blocs du 
  1490. syst\*`eme ou entre des blocs et leur environnement. Un canal peut relier 
  1491. un bloc \*`a un autre ou un bloc \*`a l'environnement dans une direction 
  1492. (canal 
  1493. unidirectionnel) ou dans les deux directions (canal bidirectionnel).
  1494. Normalement, un canal est une entit\*'e fonctionnelle qui peut \* | tre 
  1495. utilis\*'ee pour d\*'esigner des chemins de communication sp\*'ecifiques. 
  1496. En fait, par la subdivision des canaux (d\*'ecrite au \(sc\ D.4.5), il 
  1497. est possible de sp\*'ecifier formellement le comportement de chaque canal. 
  1498. .PP
  1499. Pour chaque direction indiqu\*'ee ou chaque chemin de communication, la 
  1500. sp\*'ecification du canal contient une liste de tous les identificateurs 
  1501. de 
  1502. signaux que le canal peut acheminer dans cette direction. Cette liste de
  1503. signaux offre le moyen de garantir que chaque signal envoy\*'e par un processus 
  1504. \*`a une extr\*'emit\*'e du canal puisse \* | tre re\*,cu par le processus 
  1505. du bloc qui se 
  1506. trouve \*`a l'autre extr\*'emit\*'e du canal. Ainsi, la sp\*'ecification 
  1507. de canal devient partie int\*'egrante de la sp\*'ecification d'interface 
  1508. pour chaque bloc. Dans de 
  1509. grands projets int\*'eressant de nombreuses personnes, un accord d\*`es 
  1510. l'origine 
  1511. sur les signaux d'un canal et sur la sp\*'ecification de ces signaux r\*'eduit
  1512. sensiblement la probabilit\*'e que deux processus ne pourront communiquer l'un
  1513. avec l'autre comme pr\*'evu.
  1514. .PP
  1515. La d\*'efinition d'un canal comporte les \*'el\*'ements suivants:
  1516. .RT
  1517. .LP
  1518.     \(em
  1519.     nom du canal;
  1520. .LP
  1521.     \(em
  1522.     un ou deux chemins de communication: un chemin de
  1523. communication sp\*'ecifie l'origine et la destination d'une liste de signaux. 
  1524. Des identificateurs de bloc ou le mot cl\*'e <<ENV>> (environnement) peuvent 
  1525. \* | tre 
  1526. utilis\*'es dans ce contexte;
  1527. .LP
  1528.     \(em
  1529.     une ou deux listes de signaux: une liste des signaux
  1530. transport\*'es dans cette direction doit \* | tre sp\*'ecifi\*'ee pour 
  1531. chaque chemin de 
  1532. communication. Cette liste peut comporter des identificateurs de signaux 
  1533. ainsi que des identificateurs d'autres listes; 
  1534. .LP
  1535.     \(em
  1536.      une d\*'efinition facultative de sous\(hystructure de canal (ou une r\*'ef\*'erence 
  1537. \*`a une telle d\*'efinition): voir le \(sc\ D.4.5. 
  1538. .PP
  1539. Dans le LDS/PR, une d\*'efinition de canal est comprise entre les
  1540. deux mots cl\*'es CHANNEL et ENDCHANNEL. Les mots cl\*'es FROM et TO servent 
  1541. \*`a 
  1542. d\*'esigner les chemins de communication et le mot cl\*'e WITH les listes 
  1543. de signaux. On trouvera dans la figure\ D\(hy3.3.1 un exemple de d\*'efinition 
  1544. de canal en 
  1545. LDS/PR.
  1546. .PP
  1547. Dans le LDS/GR, une d\*'efinition de canal est repr\*'esent\*'ee \*`a l'aide
  1548. d'une ligne reliant les deux parties mises en jeu dans la communication. Le
  1549. nom du canal doit \* | tre plus proche de la ligne que tout autre symbole. Les
  1550. trajets sont repr\*'esent\*'es au moyen de fl\*`eches et les listes de 
  1551. signaux doivent \* | tre plac\*'es entre crochets, comme indiqu\*'e dans 
  1552. les exemples de la 
  1553. figure\ D\(hy3.3.2. Pour \*'eviter une confusion entre les canaux et les 
  1554. acheminements de signaux, les fl\*`eches ne doivent pas \* | tre plac\*'ees 
  1555. en l'un des deux points terminaux de la ligne (voir le \(sc\ D.3.5). 
  1556. .PP
  1557. Dans un canal bidirectionnel, chacune des deux listes de signaux doit \* | tre 
  1558. aussi proche que possible de la fl\*`eche correspondante. 
  1559. .RT
  1560. .LP
  1561. .rs
  1562. .sp 01P
  1563. .ad r
  1564. \fBFigure D\(hy3.3.1 [T4.100] \ \ 
  1565. (\*`a traiter comme tableau MEP, p.\fR 
  1566. .ad b
  1567. .RT
  1568. .LP
  1569. .rs
  1570. .sp 01P
  1571. .ad r
  1572. \fBFigure D\(hy3.3.2, p.\fR 
  1573. .ad b
  1574. .RT
  1575. .sp 1P
  1576. .LP
  1577. D.3.4
  1578.     \fISignaux\fR 
  1579. .sp 9p
  1580. .RT
  1581. .PP
  1582. Les signaux peuvent \* | tre d\*'efinis au niveau du syst\*`eme, au niveau 
  1583. du bloc ou dans la partie interne de la d\*'efinition de processus. Les 
  1584. signaux 
  1585. d\*'efinis \*`a un certain niveau peuvent \* | tre utilis\*'es \*`a ce 
  1586. niveau ou \*'egalement aux niveaux inf\*'erieurs; cependant, pour simplifier 
  1587. chaque niveau, il est 
  1588. sugg\*'er\*'e de d\*'efinir les signaux de mani\*`ere aussi circonscrite 
  1589. que possible. Les signaux d\*'efinis dans le cadre d'une d\*'efinition 
  1590. de processus peuvent \* | tre 
  1591. \*'echang\*'es entre des instances de m\* | me type de processus (\(sc\ 
  1592. D.3.8) ou entre 
  1593. services d'un processus (\(sc\ D.5.3).
  1594. .PP
  1595. La d\*'efinition d'un signal comprend les points suivants:
  1596. .RT
  1597. .LP
  1598.     \(em
  1599.     nom du signal;
  1600. .LP
  1601.     \(em
  1602.      liste de sortes (facultative): repr\*'esente la liste des types de valeurs 
  1603. achemin\*'ees par ce signal; 
  1604. .LP
  1605.     \(em
  1606.     affinage du signal (facultatif): voir le \(sc D.4.7.
  1607. .PP
  1608. En LDS/PR, une d\*'efinition de signal est sp\*'ecifi\*'ee par le mot cl\*'e 
  1609. SIGNAL. Plusieurs signaux (n'ayant pas fait l'objet d'un affinage) peuvent 
  1610. \* | tre d\*'efinis \*`a l'int\*'erieur de la construction, donnant ainsi 
  1611. le nom du signal et la liste de types. Des exemples de d\*'efinitions de 
  1612. signaux en LDS/PR sont 
  1613. donn\*'es dans la figure\ D\(hy3.4.1.
  1614. .LP
  1615. .rs
  1616. .sp 01P
  1617. .ad r
  1618. \fBFigure D\(hy3.4.1 [T5.100] \ \ 
  1619. (\*`a traiter comme tableau MEP, p.\fR 
  1620. .ad b
  1621. .RT
  1622. .PP
  1623. En LDS/GR, on sp\*'ecifie une d\*'efinition de signal en ins\*'erant des
  1624. \*'enonc\*'es lin\*'eaires dans un symbole de texte comme indiqu\*'e dans la
  1625. figure\ D\(hy3.4.2.
  1626. .LP
  1627. .rs
  1628. .sp 01P
  1629. .ad r
  1630. \fBFigure D\(hy3.4.2, p.\fR 
  1631. .ad b
  1632. .RT
  1633. .sp 1P
  1634. .LP
  1635. D.3.5
  1636.     \fIAcheminements de signaux\fR 
  1637. .sp 9p
  1638. .RT
  1639. .PP
  1640. Des acheminements de signaux servent \*`a repr\*'esenter des chemins de 
  1641. communication similaires aux canaux. Ils peuvent \* | tre utilis\*'es au 
  1642. niveau des blocs et \*`a celui des processus. Comme les canaux, les acheminements 
  1643. de signaux peuvent \* | tre unidirectionnels ou bidirectionnels mais ils 
  1644. ne peuvent \* | tre 
  1645. subdivis\*'es.
  1646. .PP
  1647. Au niveau des blocs, ils repr\*'esentent un moyen de communication entre 
  1648. les processus d'un bloc ou entre les processus et l'environnement de ce 
  1649. bloc, c'est\(hy\*`a\(hydire un canal menant \*`a ce bloc ou venant de celui\(hyci. 
  1650. .PP
  1651. Au niveau du processus, les acheminements de signaux peuvent \* | tre
  1652. utilis\*'es lorsque le processus est subdivis\*'e en services (voir le 
  1653. \(sc\ D.5.3). Dans ce cas, ils relient les services les uns aux autres 
  1654. ou avec les acheminements de signaux du processus. 
  1655. .PP
  1656. Si un signal est remis \*`a un acheminement de signaux aboutissant \*`a
  1657. une fronti\*`ere de bloc, il passe dans le canal reli\*'e \*`a l'acheminement 
  1658. de 
  1659. signaux. Lorsqu'un signal parvient au bloc, \*`a partir d'un canal reli\*'e 
  1660. \*`a un ou plusieurs acheminements de signaux, ce signal est plac\*'e dans 
  1661. l'acheminement de signaux qui est capable de la transf\*'erer. 
  1662. .PP
  1663. En LDS/PR, la d\*'efinition d'un acheminement de signal commence par le 
  1664. mot cl\*'e SIGNALROUTE. La syntaxe des chemins de communication et la liste 
  1665. des 
  1666. signaux sont les m\* | mes que dans le cas des canaux.
  1667. .PP
  1668. En LDS/GR, la seule diff\*'erence entre un acheminement de signaux et un 
  1669. canal est que, pour les acheminements de signaux, des fl\*`eches doivent 
  1670. \* | tre 
  1671. plac\*'ees aux points terminaux des lignes; pr\*`es de chaque fl\*`eche, 
  1672. doit se 
  1673. trouver une liste de signaux appropri\*'es. On trouvera des exemples
  1674. d'acheminements de signaux dans les figures\ D\(hy3.6.3 et\ D\(hy3.6.5 
  1675. des paragraphes qui suivent. 
  1676. .RT
  1677. .sp 1P
  1678. .LP
  1679. D.3.6
  1680.     \fIDiagrammes de syst\*`eme et de bloc\fR 
  1681. .sp 9p
  1682. .RT
  1683. .PP
  1684. En LDS/GR, une d\*'efinition de syst\*`eme est repr\*'esent\*'ee au moyen 
  1685. d'un ensemble de diagrammes. La structure d'un syst\*`eme en canaux et 
  1686. en blocs, est repr\*'esent\*'ee \*`a l'aide d'un diagramme de syst\*`eme. 
  1687. .PP
  1688. Le diagramme de syst\*`eme se compose des \*'el\*'ements suivants:
  1689. .RT
  1690. .LP
  1691.     \(em
  1692.      le symbole de cadre: symbole de forme rectangulaire contenant tous les 
  1693. autres symboles. Il repr\*'esente la fronti\*`ere du syst\*`eme; 
  1694. l'environnement du syst\*`eme se trouve en dehors de ce cadre;
  1695. .LP
  1696.     \(em
  1697.     l'en\(hyt\* | te du syst\*`eme: mot cl\*'e SYSTEM suivi du nom du
  1698. syst\*`eme (plac\*'e dans l'angle sup\*'erieur gauche);
  1699. .LP
  1700.     \(em
  1701.     une num\*'erotation de page facultative (plac\*'ee dans l'angle
  1702. sup\*'erieur droit du cadre);
  1703. .LP
  1704.     \(em
  1705.     des symboles de texte: un tel symbole peut contenir des
  1706. \*'enonc\*'es lin\*'eaires. Il sert g\*'en\*'eralement \*`a pr\*'esenter 
  1707. dans le diagramme des 
  1708. d\*'efinitions de signaux, des listes de signaux et les donn\*'ees;
  1709. .LP
  1710.     \(em
  1711.      la zone d'interaction de blocs qui comprend la sp\*'ecification des blocs 
  1712. du syst\*`eme, les canaux et les listes de signaux achemin\*'es par les 
  1713. canaux;
  1714. .LP
  1715.     \(em
  1716.     des diagrammes de macros: les directives concernant
  1717. l'utilisation des macros sont donn\*'ees au \(sc\ D.5.1.
  1718. .PP
  1719. Dans le diagramme de syst\*`eme, la sp\*'ecification d'un bloc peut
  1720. \* | tre l'un des deux points suivants:
  1721. .LP
  1722.     \(em
  1723.      une r\*'ef\*'erence de bloc: symbole de bloc contenant uniquement le 
  1724. nom de bloc; 
  1725. .LP
  1726.     \(em
  1727.      un diagramme de bloc: cadre contenant la sp\*'ecification de la structure 
  1728. de bloc en fonction de ses processus et interactions. Si un bloc est subdivis\*'e 
  1729. en sous\(hyblocs, la sp\*'ecification de la sous\(hystructure ou la r\*'ef\*'erence 
  1730. \*`a celle\(hyci doit \* | tre plac\*'ee \*`a l'int\*'erieur du cadre de 
  1731. bloc (\(sc\ D.4.3). 
  1732. .PP
  1733. On trouvera dans le r\*'esum\*'e concernant le LDS/GR la forme des
  1734. symboles utilis\*'es dans le syst\*`eme et celle des diagrammes de bloc. 
  1735. En ce qui concerne les d\*'efinitions de symboles, il convient de se r\*'ef\*'erer 
  1736. au \(sc\ D.7.1.4. 
  1737. .PP
  1738. La figure D\(hy3.6.1 donne un exemple d'un diagramme de syst\*`eme pour 
  1739. le syst\*`eme <<s>>. Dans cet exemple, le syst\*`eme s'est divis\*'e en 
  1740. deux blocs B1 et B2 reli\*'es l'un \*`a l'autre et \*`a l'environnement 
  1741. par les canaux C1, C2, C3 et\ C4. Pour les blocs\ B1 et\ B2, on ne donne 
  1742. dans cet exemple qu'une r\*'ef\*'erence. Des 
  1743. explications compl\*'ementaires sur les canaux et les symboles de listes de
  1744. signaux sont donn\*'es dans les paragraphes qui suivent:
  1745. .PP
  1746. Le m\* | me exemple en LDS/PR est repr\*'esent\*'e dans la figure D\(hy3.6.2.
  1747. .RT
  1748. .LP
  1749. .rs
  1750. .sp 01P
  1751. .ad r
  1752. \fBFigure D\(hy3.6.1, p.\fR 
  1753. .ad b
  1754. .RT
  1755. .LP
  1756. .rs
  1757. .sp 01P
  1758. .ad r
  1759. \fBFigure D\(hy3.6.2 [T6.100] \ \ 
  1760. (\*`a traiter comme tableau MEP, p.\fR 
  1761. .ad b
  1762. .RT
  1763. .PP
  1764. La structure d'un bloc en ce qui concerne les processus et les
  1765. acheminements de signaux est repr\*'esent\*'ee en LDS/GR \*`a l'aide d'un 
  1766. diagramme de bloc. 
  1767. .PP
  1768. Le diagramme de bloc se compose des \*'el\*'ements suivants:
  1769. .RT
  1770. .LP
  1771.     \(em
  1772.     le symbole cadre: symbole de forme rectangulaire contenant
  1773. tous les autres symboles. Il repr\*'esente les fronti\*`eres du bloc: au\(hydel\*`a 
  1774. du 
  1775. cadre commence l'environnement du bloc;
  1776. .LP
  1777.     \(em
  1778.     l'en\(hyt\* | te du bloc: le mot cl\*'e BLOCK suivi du nom de bloc
  1779. (plac\*'e dans l'angle sup\*'erieur gauche du cadre);
  1780. .LP
  1781.     \(em
  1782.     une num\*'erotation de page facultative (plac\*'ee dans l'angle
  1783. sup\*'erieur droit du cadre);
  1784. .LP
  1785.     \(em
  1786.     des symboles de texte: ces symboles peuvent englober des
  1787. \*'enonc\*'es lin\*'eaires. Ils sont g\*'en\*'eralement utilis\*'es pour 
  1788. pr\*'esenter les 
  1789. d\*'efinitions de signaux, de listes de signaux et de donn\*'ees;
  1790. .LP
  1791.     \(em
  1792.     la zone d'interaction de processus: cette zone comprend la
  1793. sp\*'ecification des processus du bloc et \*'eventuellement des acheminements 
  1794. de 
  1795. signaux et des listes de signaux transport\*'es par les acheminements de 
  1796. signaux. Dans cette zone, il est \*'egalement possible de repr\*'esenter 
  1797. les processus qui 
  1798. cr\*'eent d'autres processus; cette caract\*'eristique est d\*'ecrite au 
  1799. \(sc\ D.3.8.1; 
  1800. .LP
  1801.     \(em
  1802.     des identificateurs de canaux: si le diagramme fait
  1803. appara\* | tre des acheminements de signaux aboutissant \*`a l'environnement 
  1804. du bloc ou venant de celui\(hyci, les identificateurs des canaux reli\*'es 
  1805. \*`a ces 
  1806. acheminements de signaux doivent \* | tre sp\*'ecifi\*'es en dehors du 
  1807. cadre, de fa\*,con correspondante aux lignes des acheminements de signaux; 
  1808. .LP
  1809.     \(em
  1810.     des diagrammes de macros: on trouvera au \(sc\ D.5.1 des
  1811. directives sur l'utilisation des macros.
  1812. .PP
  1813. Dans le diagramme de bloc, la sp\*'ecification d'un processus peut
  1814. \* | tre:
  1815. .LP
  1816.     \(em
  1817.     soit une r\*'ef\*'erence \*`a un processus: symbole de processus
  1818. contenant le nom de processus et, en option, la sp\*'ecification d'instances de
  1819. processus. Une telle sp\*'ecification comprend deux couples de nombres entiers
  1820. s\*'epar\*'es par une virgule et plac\*'es entre parenth\*`eses (voir le 
  1821. \(sc\ D.3.8); 
  1822. .LP
  1823.     \(em
  1824.      soit un diagramme de processus: cadre contenant un graphique de symboles 
  1825. reli\*'es d\*'ecrivant le comportement du processus en ce qui concerne 
  1826. les \*'etats, les entr\*'ees, les sorties, les actions, etc. (voir le \(sc\ 
  1827. D.3.8). Si le processus est subdivis\*'e en services, le diagramme de processus 
  1828. contient la zone d'interaction de service (\(sc\ D.5.3). 
  1829. .PP
  1830. Dans la figure D\(hy3.6.3, on trouvera un exemple de diagramme de
  1831. bloc pour le bloc <<B1>> pr\*'esent\*'e dans l'exemple de la figure\ D\(hy3.6.1. 
  1832. Ce bloc\ B1 est d\*'ecrit du point de vue des deux processus\ P1 et\ P2, 
  1833. reli\*'es par les 
  1834. acheminements de signaux R1, R2, R3, R4 et\ R5. Pour les processus\ P1 
  1835. et\ P2, on se borne \*`a donner des r\*'ef\*'erences dans cet exemple. 
  1836. Les identificateurs de 
  1837. canaux\ C1, C2 et\ C3 sont \*'egalement sp\*'ecifi\*'es en dehors du cadre.
  1838. .PP
  1839. Le m\* | me exemple est pr\*'esent\*'e en LDS/PR dans la figure D\(hy3.6.4.
  1840. .PP
  1841. Comme cela a d\*'ej\*`a \*'et\*'e indiqu\*'e pr\*'ec\*'edemment, des diagrammes 
  1842. de bloc 
  1843. peuvent \* | tre compris dans les diagrammes de syst\*`eme, en lieu et place de
  1844. r\*'ef\*'erences. Dans la figure\ D\(hy3.6.5 par exemple, les diagrammes des
  1845. figures\ D\(hy3.6.1 et\ D\(hy3.6.3 sont r\*'eunis en un seul diagramme 
  1846. de syst\*`eme. 
  1847. .PP
  1848. Une recommandation g\*'en\*'erale concernant l'\*'etablissement de diagrammes 
  1849. de ce genre, est qu'ils ne doivent pas \* | tre trop complexes afin de 
  1850. rester 
  1851. lisibles et qu'ils doivent tenir sur une seule page.
  1852. .RT
  1853. .LP
  1854. .rs
  1855. .sp 01P
  1856. .ad r
  1857. \fBFigure D\(hy3.6.3, p.\fR 
  1858. .ad b
  1859. .RT
  1860. .LP
  1861. .rs
  1862. .sp 01P
  1863. .ad r
  1864. \fBFigure D\(hy3.6.4 [T7.100] \ \ 
  1865. (\*`a traiter comme tableau MEP, p.\fR 
  1866. .ad b
  1867. .RT
  1868. .LP
  1869. .rs
  1870. .sp 01P
  1871. .ad r
  1872. \fBFigure D\(hy3.6.5, p.\fR 
  1873. .ad b
  1874. .RT
  1875. .sp 2P
  1876. .LP
  1877. D.3.7
  1878.     \fICommentaires\fR 
  1879. \fIet extension de texte\fR 
  1880. .sp 1P
  1881. .RT
  1882. .sp 1P
  1883. .LP
  1884. D.3.7.1
  1885.     \fICommentaires\fR 
  1886. .sp 9p
  1887. .RT
  1888. .PP
  1889. Il est possible d'ajouter des commentaires \*`a une sp\*'ecification en 
  1890. LDS pour aider le lecteur et pr\*'eciser certains points. Deux types de 
  1891. commentaires adapt\*'es au LDS/PR et au LDS/GR ont \*'et\*'e introduits 
  1892. dans le LDS. 
  1893. .PP
  1894. Le premier type, appel\*'e <<note>> et utilis\*'e particuli\*`erement en 
  1895. LDS/PR. Il est d\*'elimit\*'e par <</*>> au d\*'ebut et par <<*/>> \*`ala 
  1896. fin. 
  1897. .PP
  1898. En LDS/PR, un tel commentaire peut s'ins\*'erer partout o\*`u se trouve 
  1899. un espace. Il ne doit pas contenir la s\*'equence sp\*'eciale <<*/>>. 
  1900. .PP
  1901. En LDS/GR, un tel commentaire peut se pr\*'esenter partout o\*`u il existe 
  1902. un espace \*`a l'int\*'erieur des instructions lin\*'eaires. 
  1903. .PP
  1904. On trouvera dans les figures D\(hy3.7.1 et D\(hy3.7.2 certains exemples 
  1905. de cette forme de commentaire, respectivement en LDS/PR et en LDS/GR. 
  1906. .RT
  1907. .LP
  1908. .rs
  1909. .sp 01P
  1910. .ad r
  1911. \fBFigure D\(hy3.7.1 [T8.100] \ \ 
  1912. (\*`a traiter comme tableau MEP, p.\fR 
  1913. .ad b
  1914. .RT
  1915. .LP
  1916. .rs
  1917. .sp 01P
  1918. .ad r
  1919. \fBFigure D\(hy3.7.2, p.\fR 
  1920. .ad b
  1921. .RT
  1922. .PP
  1923. La seconde forme de commentaire permet une mise en correspondance \*'el\*'ement 
  1924. par \*'el\*'ement entre le LDS/PR et le LDS/GR; elle convient mieux aux 
  1925. applications comportant des traductions automatiques.
  1926. .PP
  1927. En LDS/PR, un tel commentaire se compose du mot cl\*'e COMMENT suivi
  1928. d'une cha\* | ne de caract\*`eres; il peut e\*^tre ins\*'er\*'e comme 
  1929. une instruction 
  1930. (c'est\(hy\*`a\(hydire suivi de <<;>>) partout o\*`u une instruction de 
  1931. t\* | che peut \* | tre ins\*'er\*'ee. De plus, il peut \* | tre ins\*'er\*'e 
  1932. avant le symbole <<;>>\ (;) \*`a la fin de 
  1933. toute instruction.
  1934. .PP
  1935. En LDS/GR, cette forme de commentaire est repr\*'esent\*'ee \*`a l'aide 
  1936. d'un symbole de commentaire contenant le texte du commentaire. Le symbole 
  1937. de 
  1938. commentaire est un symbole de forme rectangulaires auquel le c\* | t\*'e 
  1939. gauche ou 
  1940. droit fait d\*'efait. Ce symoble doit \* | tre \*'etendu aussi bien horizontalement 
  1941. que verticalement, de mani\*`ere \*`a contenir tout le texte. Il peut \* | tre 
  1942. reli\*'e \*`a un symbole quelconque en LDS/GR ou \*`a une ligne de liaison. 
  1943. Pour indiquer la 
  1944. connexion il faut employer une ligne en traits discontinus. Si l'association
  1945. entre le texte du commmentaire et le symbole du commentaire ne pr\*'esente pas
  1946. d'ambigu\*:it\*'e, le symbole de commentaire peut se pr\*'esenter simplement 
  1947. sous la 
  1948. forme de crochets.
  1949. .PP
  1950. Dans les figures D\(hy3.7.3 et D\(hy3.7.4, on trouvera certains exemples 
  1951. de cette forme de commentaire, respectivement en LDS/PR et en LDS/GR. 
  1952. .RT
  1953. .LP
  1954. .rs
  1955. .sp 01P
  1956. .ad r
  1957. \fBFigure D\(hy3.7.3 [T9.100] \ \ 
  1958. (\*`a traiter comme tableau MEP, p.\fR 
  1959. .ad b
  1960. .RT
  1961. .LP
  1962. .rs
  1963. .sp 01P
  1964. .ad r
  1965. \fBFigure D\(hy3.7.4, p.\fR 
  1966. .ad b
  1967. .RT
  1968. .sp 1P
  1969. .LP
  1970. D.3.7.2
  1971.     \fIExtension de texte\fR 
  1972. .sp 9p
  1973. .RT
  1974. .PP
  1975. Normalement, le texte associ\*'e \*`a un symbole graphique devrait \* | tre 
  1976. plac\*'e \*`a l'int\*'erieur de ce symbole. Cependant, cela n'est pas toujours 
  1977. possible ou pratique. Une autre solution consiste \*`a placer le texte 
  1978. dans un symbole 
  1979. d'extension de texte rattach\*'e au symbole associ\*'e. Le symbole d'extension 
  1980. de 
  1981. texte est similaire au symbole de commentaire; la seule diff\*'erence est 
  1982. que la ligne le reliant est en trait continu et non en trait discontinu 
  1983. (voir la 
  1984. figure\ D\(hy3.7.5).
  1985. .RT
  1986. .LP
  1987. .rs
  1988. .sp 01P
  1989. .ad r
  1990. \fBFigure D\(hy3.7.5, p.\fR 
  1991. .ad b
  1992. .RT
  1993. .PP
  1994. Un caract\*`ere de soulignement (<<
  1995. \(ul>> peut \* | tre utilis\*'e \*`a la fin d'une ligne de texte comme 
  1996. caract\*`ere de continuation. Dans ce cas, les 
  1997. espaces restant sur la m\* | me ligne ne sont pas consid\*'er\*'es comme 
  1998. faisant 
  1999. partie du texte. On trouvera au \(sc\ D.3.13 des directives plus d\*'etaill\*'ees 
  2000. sur 
  2001. la syntaxe des noms.
  2002. .sp 1P
  2003. .LP
  2004. \fI\fR D.3.8
  2005.     \fIProcessus\fR 
  2006. .sp 9p
  2007. .RT
  2008. .PP
  2009. Un processus est une machine \*`a \*'etats finis \*'etendue qui d\*'efinit 
  2010. le comportement dynamique d'un syst\*`eme. Les processus sont fonci\*`erement 
  2011. dans un \*'etat d'attente des signaux. A la r\*'eception d'un signal, le 
  2012. processus r\*'epond en accomplissant les actions pr\*'ecises qui correspondent 
  2013. \*`a chaque type de signal pouvant \* | tre re\*,cu par le processus. Les 
  2014. processus contiennent de nombreux 
  2015. \*'etats qui leur permettent d'accomplir diff\*'erentes actions en cas 
  2016. de r\*'eception d'un signal. Ces \*'etats m\*'emorisent les actions pr\*'ec\*'edemment 
  2017. accomplies. Apr\*`es l'accomplissement de toutes les actions li\*'ees \*`a 
  2018. la r\*'eception d'un signal 
  2019. donn\*'e, un nouvel \*'etat est atteint et le processus se met en attente 
  2020. d'un autre signal. 
  2021. .PP
  2022. Les processus peuvent soit exister au moment de la cr\*'eation du
  2023. syst\*`eme, soit \* | tre cr\*'e\*'es suite \*`a une demande de cr\*'eation 
  2024. \*'emise par un autre processus. En outre, les processus peuvent durer 
  2025. ind\*'efiniment ou s'arr\* | ter du fait du d\*'eclenchement d'une action 
  2026. d'arr\* | t. 
  2027. .PP
  2028. Une d\*'efinition de processus repr\*'esente la sp\*'ecification d'un type 
  2029. de processus; plusieurs instances du m\* | me type de processus peuvent 
  2030. \* | tre cr\*'e\*'ees et exister simultan\*'ement; elles peuvent fonctionner 
  2031. ind\*'ependamment et 
  2032. concurremment. Une d\*'efinition de processus comprend les points suivants 
  2033. (dont certains sont facultatifs): 
  2034. .RT
  2035. .LP
  2036.     \(em
  2037.     nom de processus;
  2038. .LP
  2039.     \(em
  2040.     une paire de nombre entiers. Le premier de ces nombres
  2041. entiers sp\*'ecifie le nombre d'instances de processus cr\*'e\*'ees lors
  2042. de la cr\*'eation du syst\*`eme; s'il est omis, il a une valeur par
  2043. d\*'efaut de\ 1: le second entier sp\*'ecifie le nombre maximal
  2044. d'instances de processus simultan\*'ees; s'il est omis, la valeur
  2045. par d\*'efaut maximale est illimit\*'ee;
  2046. .LP
  2047.     \(em
  2048.     param\*`etres formels: liste d'identificateurs de variables
  2049. associ\*'es \*`a leurs types qui est utilis\*'ee pour transmettre
  2050. l'information au processus au moment de la cr\*'eation. Dans la
  2051. demande de cr\*'eation de processus, une liste de param\*`etres r\*'eels
  2052. peut \* | tre donn\*'ee \*`a cet effet. Les valeurs des param\*`etres
  2053. formels de processus cr\*'e\*'es au moment de la cr\*'eation du syst\*`eme
  2054. sont ind\*'efinies;
  2055. .LP
  2056.     \(em
  2057.     ensemble de signaux d'entr\*'ee valides: liste d'identificateurs
  2058. de signaux d\*'efinissant les signaux que le processus peut
  2059. recevoir;
  2060. .LP
  2061.     \(em
  2062.     d\*'efinitions de signaux: sp\*'ecification des signaux qui peuvent
  2063. \* | tre \*'echang\*'es entre instances du m\* | me processus ou entre
  2064. services de ce processus (\(sc\ D.5.3);
  2065. .LP
  2066.     \(em
  2067.     d\*'efinitions de proc\*'edures: sp\*'ecification des proc\*'edures qui
  2068. peuvent \* | tre appel\*'ees par le processus. Une r\*'ef\*'erence de
  2069. proc\*'edure peut \* | tre utilis\*'ee dans ce contexte (les proc\*'edures
  2070. font l'objet du \(sc\ D.3.9);
  2071. .LP
  2072.     \(em
  2073.     d\*'efinition de donn\*'ees: sp\*'ecifications des nouveaux types,
  2074. syntypes et g\*'en\*'erateurs d\*'efinis par l'usager et localis\*'es dans le
  2075. processus;
  2076. .LP
  2077.     \(em
  2078.     d\*'efinition de variables: d\*'eclarations des variables du
  2079. processus. A titre facultatif, on peut indiquer qu'une variable
  2080. peut \* | tre partag\*'ee avec plusieurs autres processus du m\* | me bloc
  2081. (variable  REVEALED) ou export\*'ee vers d'autres processus ainsi
  2082. que vers d'autres blocs (variable EXPORTED). Pour chaque variable
  2083. d\*'eclar\*'ee, il faut sp\*'ecifier l'identificateur de sa sorte. Une
  2084. variable initiale peut facultativement \* | tre sp\*'ecifi\*'ee;
  2085. .LP
  2086.     \(em
  2087.     d\*'efinitions de visibilit\*'e: d\*'eclarations d'identificateurs de
  2088. variable qui peuvent servir \*`a l'obtention des valeurs de
  2089. variables appartenant \*`a d'autres instances de processus. Pour
  2090. chaque identificateur de variable, la sorte de variable doit
  2091. \* | tre sp\*'ecifi\*'ee;
  2092. .LP
  2093.     \(em
  2094.     d\*'efinitions d'import: sp\*'ecification d'identificateurs de
  2095. variables appartenant \*`a d'autres processus et que le processus veut 
  2096. importer. Pour chaque identificateur, il convient de sp\*'ecifier la sorte 
  2097. de la variable; 
  2098. .LP
  2099.     \(em
  2100.     d\*'efinition de temporisateur (timer): fait l'objet du
  2101. \(sc\ D.3.11;
  2102. .LP
  2103.     \(em
  2104.     d\*'efinitions de macros: on trouvera des directives sur
  2105. l'utilisation des macros au \(sc\ D.5.1;
  2106. .LP
  2107.     \(em
  2108.     corps de processus: sp\*'ecification du comportement r\*'eel du
  2109. processus exprim\*'e \*`a l'aide d'\*'etats, entr\*'ees, sorties, t\* | ches,\ 
  2110. etc. Si le 
  2111. processus est divis\*'e en sous\(hyparties (services), la d\*'efinition 
  2112. du processus 
  2113. comporte une section de d\*'ecomposition en services en lieu et place du 
  2114. corps du processus. On trouvera des directives \*`a ce sujet au \(sc\ D.5.3. 
  2115. .PP
  2116. Des exemples et des explications concernant les donn\*'ees, les
  2117. variables, les d\*'efinitions de visibilit\*'e et les d\*'efinitions d'import 
  2118. sont 
  2119. donn\*'es au \(sc\ D.3.10.
  2120. .PP
  2121. On trouvera dans la figure\ D\(hy3.8.1 un exemple partiel de d\*'efinition 
  2122. de processus en LDS/PR (les mots cl\*'es du langage sont \*'ecrits en lettres 
  2123. majuscules).
  2124. .RT
  2125. .LP
  2126. .rs
  2127. .sp 01P
  2128. .ad r
  2129. \fBFigure D\(hy3.8.1 [T10.100] \ \ 
  2130. (\*`a traiter comme tableau MEP, p.\fR 
  2131. .ad b
  2132. .RT
  2133. .PP
  2134. Le corps de processus repr\*'esente le graphe r\*'eel de la machine \*`a 
  2135. \*'etats finis. Il consiste en une s\*'equence d'instructions ordonn\*'ees 
  2136. en LDS/PR et, en LDS/GR, c'est une s\*'equence de symboles reli\*'es par 
  2137. des arcs orient\*'es 
  2138. (similaires \*`a un organigramme). La sp\*'ecification du corps de processus 
  2139. doit 
  2140. toujours commencer par l'indication START suivi d'un ensemble d'actions
  2141. (transition). L'interpr\*'etation d'une instance de processus commence \*`a la
  2142. cr\*'eation de cette instance de processus.
  2143. .PP
  2144. Les actions qui peuvent \* | tre ex\*'ecut\*'ees dans une transition sont 
  2145. les suivantes: 
  2146. .RT
  2147. .LP
  2148.     \(em
  2149.     t\* | che: affectation de variable (ou texte informel);
  2150. .LP
  2151.     \(em
  2152.     exportation: exportation de variable;
  2153. .LP
  2154.     \(em
  2155.     initialisation (set): demande d'activation d'un
  2156. temporisateur;
  2157. .LP
  2158.     \(em
  2159.     r\*'einitialisation (reset): r\*'einitialisation d'un
  2160. temporisateur;
  2161. .LP
  2162.     \(em
  2163.     sortie: \*'emission d'un signal en direction d'un autre
  2164. processus;
  2165. .LP
  2166.     \(em
  2167.     demande de cr\*'eation: cr\*'eation d'une instance d'un type de
  2168. processus sp\*'ecifi\*'e;
  2169. .LP
  2170.     \(em
  2171.     d\*'ecision: s\*'election d'un ensemble d'actions d\*'ependant d'une
  2172. question;
  2173. .LP
  2174.     \(em
  2175.     appel de proc\*'edure: demande d'interpr\*'etation d'un ensemble
  2176. d'actions s\*'epar\*'e autonome (m\* | me usage que dans des langages de de
  2177. programmation);
  2178. .LP
  2179.     \(em
  2180.     branchement (join): sp\*'ecification d'un <<saut>> vers un autre
  2181. ensemble d'actions.
  2182. .PP
  2183. Une transition peut se terminer par l'une des actions
  2184. suivantes:
  2185. .LP
  2186.     \(em
  2187.     nexstate (\*'etat suivant): sp\*'ecification de l'\*'etat dans lequel
  2188. se trouvera l'instance de processus;
  2189. .LP
  2190.     \(em
  2191.     arr\* | t: arr\* | t imm\*'ediat de l'instance de processus.
  2192. .PP
  2193. Apr\*`es la sp\*'ecification de l'action de d\*'epart et de la transition 
  2194. de d\*'epart facultative, le corps du processus comprend les d\*'efinitions 
  2195. de tous ses \*'etats possibles. Chaque d\*'efinitin d'\*'etat commence 
  2196. par la sp\*'ecification des stimuli possibles, attendus par le processus 
  2197. dans cet \*'etat. Les stimuli 
  2198. possibles sont les suivants:
  2199. .LP
  2200.     \(em
  2201.     entr\*'ees: signaux qui peuvent \* | tre re\*,cus;
  2202. .LP
  2203.     \(em
  2204.     mises en r\*'eserve: signaux qui doivent \* | tre mis en r\*'eserve
  2205. pour traitement ult\*'erieur;
  2206. .LP
  2207.     \(em
  2208.     conditions de validation: d\*'ecrites au \(sc\ D.3.8.5;
  2209. .LP
  2210.     \(em
  2211.     signaux continus: d\*'ecrits au \(sc\ D.3.8.5.
  2212. .PP
  2213. Une transition doit \* | tre sp\*'ecifi\*'ee en correspondance avec chaque 
  2214. stimulus sauf en ce qui concerne les mises en r\*'eserve. De telles transitions 
  2215. repr\*'esentent la s\*'equence d'actions que le processus ex\*'ecutera 
  2216. si le stimulus 
  2217. appara\* | t.
  2218. .PP
  2219. Si un processus ex\*'ecute une action d'arr\* | t et que des signaux \*'emis
  2220. mais non encore re\*,cus se trouvent en suspens, ces signaux sont mis au rebut.
  2221. .PP
  2222. En LDS/GR, une d\*'efinition de processus est repr\*'esent\*'ee \*`a l'aide du
  2223. diagramme de processus. Un diagramme de processus se compose des \*'el\*'ements
  2224. suivants:
  2225. .RT
  2226. .LP
  2227.     \(em
  2228.     un symbole de cadre: symbole de forme rectangulaire contenant
  2229. tous les autres symboles. Si aucun acheminement du signal n'est
  2230. rattach\*'e au symbole de cadre, celui\(hyci peut \* | tre omis;
  2231. .LP
  2232.     \(em
  2233.     l'en\(hyt\* | te du processus: le mot cl\*'e PROCESSUS suivi de
  2234. l'identificateur de processus, puis \*'eventuellement de la
  2235. sp\*'ecification des param\*`etres formels. L'en\(hyt\* | te de processus
  2236. est plac\*'e dans l'angle sup\*'erieur gauche du cadre;
  2237. .LP
  2238.     \(em
  2239.     une num\*'erotation de page facultative (plac\*'ee dans l'angle
  2240. sup\*'erieur droit);
  2241. .LP
  2242.     \(em
  2243.     des symboles de texte: dans le cas d'un diagramme de
  2244. processus, un symbole de texte peut \* | tre utilis\*'e pour contenir
  2245. des d\*'efinitions de signal, de variable, de visibilit\*'e,
  2246. d'importation, de donn\*'ees et de temporisateur (timer);
  2247. .LP
  2248.     \(em
  2249.     r\*'ef\*'erences de proc\*'edure: symbole de proc\*'edure contenant un
  2250. nom de proc\*'edure repr\*'esentant une proc\*'edure du processus qui est
  2251. d\*'efinie s\*'epar\*'ement;
  2252. .LP
  2253.     \(em
  2254.     diagrammes de proc\*'edure: un pour chaque proc\*'edure locale du
  2255. processus qui n'est pas r\*'ef\*'erenci\*'ee;
  2256. .LP
  2257.     \(em
  2258.     la zone de graphe de processus: sp\*'ecification du comportement
  2259. du processus en termes de d\*'epart, d'\*'etats, d'entr\*'ees, de sorties,
  2260. de t\* | ches, . |  |  et d'arcs orient\*'es. Si le processus est
  2261. structur\*'e en services, la zone du graphe de processus contient la
  2262. sp\*'ecification des services ou leurs r\*'ef\*'erences (voir le \(sc\ D.5.3).
  2263. Les symboles en GR utilis\*'es pour le corps du processus sont
  2264. indiqu\*'es dans le r\*'esum\*'e du LDS/GR;
  2265. .LP
  2266.     \(em
  2267.     diagrammes de macro: on trouvera au \(sc\ D.5.1 des directives
  2268. sur l'utilisation des macros.
  2269. .PP
  2270. La figure D\(hy3.8.2 donne un exemple de d\*'efinition de processus en 
  2271. LDS/GR; on trouvera des explications et des exemples compl\*'ementaires 
  2272. sur les 
  2273. graphes de processus dans les paragraphes qui suivent.
  2274. .LP
  2275. .rs
  2276. .sp 01P
  2277. .ad r
  2278. \fBFigure D\(hy3.8.2, p.\fR 
  2279. .ad b
  2280. .RT
  2281. .PP
  2282. Si un graphe de processus ne tient pas sur une seule page, le
  2283. diagramme peut \* | tre pr\*'esent\*'e sur plusieurs pages; il faut noter:
  2284. .LP
  2285.     \(em
  2286.     qu'une num\*'erotation de page contenant le num\*'ero de la page et
  2287. le nombre total de pages devrait \* | tre fournis,
  2288. c'est\(hy\*`a\(hydire:\ 1\ (9);
  2289. .LP
  2290.     \(em
  2291.     que le symbole de brachement (join) ou le symbole d'\*'etat
  2292. suivant (nextstate) peut \* | tre utilis\*'e pour repr\*'esenter des
  2293. connexions entre diff\*'erentes parties du graphe du
  2294. processus.
  2295. .PP
  2296. Un bon crit\*`ere pour diviser un graphe de processus en plusieurs parties 
  2297. consiste \*`a repr\*'esenter une d\*'efinition d'\*'etat sur chaque page. 
  2298. Si une d\*'efinition d'\*'etat ne tient pas sur une seule page, il est 
  2299. possible d'utiliser le symbole de branchement pour repr\*'esenter des connexions 
  2300. avec une partie du 
  2301. graphe qui se trouve sur une autre page.
  2302. .sp 1P
  2303. .LP
  2304. D.3.8.1
  2305.     \fICr\*'eation de processus\fR 
  2306. .sp 9p
  2307. .RT
  2308. .PP
  2309. Comme indiqu\*'e au paragraphe pr\*'ec\*'edent, des processus (c'est\(hy\*`a\(hydire 
  2310. des instances de processus) peuvent \* | tre cr\*'e\*'es \*`a la suite 
  2311. d'une demande 
  2312. explicite ou lors de la cr\*'eation du syst\*`eme.
  2313. .PP
  2314. La demande explicite de cr\*'eation ne peut \* | tre formul\*'ee que par un
  2315. autre processus du m\* | me bloc que le processus \*`a cr\*'eer; elle permet la
  2316. sp\*'ecification de param\*`etres r\*'eels pour le transfert de l'information 
  2317. vers la nouvelle instance cr\*'e\*'ee. La figure\ D\(hy3.8.3 donne un exemple 
  2318. de cr\*'eation en PR et en GR. 
  2319. .RT
  2320. .LP
  2321. .rs
  2322. .sp 01P
  2323. .ad r
  2324. \fBFigure D\(hy3.8.3, p.\fR 
  2325. .ad b
  2326. .RT
  2327. .PP
  2328. Si une ou plusieurs instances de processus d'un type de processus donn\*'e 
  2329. sont cr\*'e\*'ees au moment de la cr\*'eation du syst\*`eme, la d\*'efinition 
  2330. de ce (ou ces) processus ne doit pas avoir acc\*`es aux param\*`etres formels 
  2331. car ils seront ind\*'efinis. En cons\*'equence, chaque d\*'efinition de 
  2332. processus ayant des param\*`etres formels doit \*'egalement faire le n\*'ecessaire 
  2333. pour interdire l'acc\*`es \*`a ses 
  2334. param\*`etres formels avant que ceux\(hyci aient re\*,cu une valeur ou qu'ils
  2335. comportent explicitement la sp\*'ecification d'aucune instance de processus au
  2336. moment de la cr\*'eation du syst\*`eme (voir la figure\ D\(hy3.8.4).
  2337. .LP
  2338. .rs
  2339. .sp 01P
  2340. .ad r
  2341. \fBFigure D\(hy3.8.1 [T11.100] \ \ 
  2342. (\*`a traiter comme tableau MEP, p.\fR 
  2343. .ad b
  2344. .RT
  2345. .PP
  2346. Lors de la cr\*'eation d'un processus, il est possible de d\*'eterminer 
  2347. des valeurs d'instance de processus \*`a l'aide des expressions pr\*'ed\*'efinies 
  2348. suivantes:
  2349. .LP
  2350.     (OFFSPRING) DESCENDANT: renvoie la valeur PId de la derni\*`ere
  2351. instance cr\*'e\*'ee,
  2352. .LP
  2353.     SELF: renvoie la valeur PId de l'instance de processus proprement
  2354. dite,
  2355. .LP
  2356.     (PARENT) ASCENDANT: renvoie la valeur PId de l'instance qui
  2357. proc\*`ede \*`a la cr\*'eation
  2358. .LP
  2359.     (SENDER) \o"E\(aa"METTEUR: renvoie la valeur PId du processus \*'emettant le
  2360. dernier signal utilis\*'e.
  2361. .PP
  2362. Lorsqu'un processus est cr\*'e\*'e par suite de la cr\*'eation du syst\*`eme, 
  2363. seule l'expression SELF renvoie une valeur PId; les expressions OFFSPRING 
  2364. et 
  2365. PARENT donnent la valeur NULL.
  2366. .PP
  2367. De telles valeurs rev\* | tent une grande importance lorsqu'il existe
  2368. plusieurs instances de processus du m\* | me type de processus car elles
  2369. constituent le seul moyen d'adresser sans ambigu\*:it\*'e les signaux aux 
  2370. instances. En fait, comme cela est mieux expliqu\*'e au \(sc\ D.3.8.6, 
  2371. lorsqu'un processus \*'emet un signal, il doit sp\*'ecifier l'instance 
  2372. de destination, \*`a moins que celle\(hyci ne puisse \* | tre d\*'etermin\*'ee 
  2373. sans ambigu\*:it\*'e. 
  2374. .PP
  2375. L'utilisateur doit veiller \*`a ce que les instances de processus cr\*'e\*'ees 
  2376. puissent, au besoin, communiquer les unes avec les autres. Pour y parvenir, 
  2377. il faut souvent pr\*'evoir certains types de processus d'initialisation. 
  2378. Ces 
  2379. processus, cr\*'e\*'es en m\* | me temps que le syst\*`eme, devront cr\*'eer 
  2380. les autres 
  2381. processus et \*'eventuellement communiquer les valeurs PId appropri\*'ees 
  2382. \*`a tous les processus auxquels elles seront n\*'ecessaires. 
  2383. .PP
  2384. Il convient de noter d'autres points importants concernant la cr\*'eation 
  2385. de processus: 
  2386. .RT
  2387. .LP
  2388.     1)
  2389.     apr\*`es la cr\*'eation du syst\*`eme, les processus ne peuvent
  2390. \* | tre cr\*'e\*'es que par un autre processus du m\* | me bloc. Une
  2391. possibilit\*'e de cr\*'eation d'un processus dans d'autres blocs
  2392. consiste \*`a avoir un processus sp\*'ecial dans chaque bloc; ce
  2393. processus provoque la cr\*'eation d'un processus \*`a la r\*'eception
  2394. d'un signal provenant d'un processus d'un autre bloc;
  2395. .LP
  2396.     2)
  2397.     apr\*`es leur cr\*'eation, les processus ont une dur\*'ee de vie qui
  2398. leur est propre. Ils ne cessent d'exister que lorsqu'ils
  2399. accomplissent une action d'arr\* | t pendant une transition. On
  2400. peut construire des syst\*`emes qui autorisent les op\*'erations
  2401. ext\*'erieures d'\*'elimination de processus en employant un signal
  2402. sp\*'ecial d'\*'elimination. A la r\*'eception du signal d'\*'elimination,
  2403. le processus accomplit une action d'arr\* | t.
  2404. .PP
  2405. La relation entre les processus cr\*'eateurs et les processus cr\*'e\*'es 
  2406. peut et\*^re repr\*'esent\*'ee dans un diagramme de bloc \*`a l'aide de 
  2407. symboles de 
  2408. lignes de cr\*'eation, comme indiqu\*'e dans la figure\ D\(hy3.8.5.
  2409. .LP
  2410. .rs
  2411. .sp 01P
  2412. .ad r
  2413. \fBFigure D\(hy3.8.5, p.\fR 
  2414. .ad b
  2415. .RT
  2416. .sp 1P
  2417. .LP
  2418. D.3.8.2
  2419.     \fIEtats\fR 
  2420. .sp 9p
  2421. .RT
  2422. .PP
  2423. Un \*'etat est une \*'etape du processus pendant laquelle aucune action 
  2424. ne s'accomplit, mais o\*`u la file d'entr\*'ee contr\* | le l'arriv\*'ee 
  2425. des signaux 
  2426. entrants. Gr\* | ce \*`a l'identificateur de signaux que contient le signal
  2427. d'entr\*'ee, l'arriv\*'ee du signal fait sortir le processus de l'\*'etat 
  2428. et lui fait 
  2429. accomplir une succession donn\*'ee d'actions. Un signal qui est arriv\*'e et a
  2430. entra\* | n\*'e une transition a \*'et\*'e <<absorb\*'e>> et cesse d'exister.
  2431. .PP
  2432. En LDS/PR, un \*'etat est repr\*'esent\*'e par le mot cl\*'e STATE suivi 
  2433. du nom de l'\*'etat. La sp\*'ecification de l'\*'etat se termine soit \*`a 
  2434. l'\*'enonc\*'e d'\*'etat suivant soit \*`a la fin du processus ou au moyen 
  2435. du mot cl\*'e explicite ENDSTATE (FIN 
  2436. D'\o"E\(aa"TAT). On peut utiliser un ast\*'eristique dans l'\*'enonc\*'e 
  2437. d'\*'etat au lieu du nom de l'\*'etat; il s'agit l\*`a d'une notation abr\*'eg\*'ee 
  2438. indiquant que les entr\*'ees pour les mises en r\*'eserve suivantes et 
  2439. les transitions correspondantes doivent \* | tre interpr\*'et\*'ees pour 
  2440. chaque \*'etat. 
  2441. .PP
  2442. Le mot cl\*'e NEXTSTATE (\o"E\(aa"TAT SUIVANT), suivi du nom de l'\*'etat, est
  2443. utilis\*'e pour indiquer l'\*'etat qui suit. On peut employer un tiret 
  2444. dans l'\*'enonc\*'e d'\*'etat suivant au lieu du nom de l'\*'etat pour 
  2445. indiquer que l'\*'etat suivant est 
  2446. pr\*'ecis\*'ement l'\*'etat dont la transition actuelle tire son origine.
  2447. .PP
  2448. La figure D\(hy3.8.6 donne un exemple partiel en LDS/PR.
  2449. .RT
  2450. .LP
  2451. .rs
  2452. .sp 01P
  2453. .ad r
  2454. \fBFigure D\(hy3.8.6 [T12.100] \ \ 
  2455. (\*`a traiter comme tableau MEP, p.\fR 
  2456. .ad b
  2457. .RT
  2458. .PP
  2459. En LDS/GR, un \*'etat est repr\*'esent\*'e \*`a l'aide d'un symbole d'\*'etat
  2460. contenant le nom d'\*'etat et est reli\*'e aux symboles d'entr\*'ee ou 
  2461. de mises en 
  2462. r\*'eserve. Le m\* | me symbole d'\*'etat, avec une fl\*`eche d'arriv\*'ee, 
  2463. sert \*`a 
  2464. repr\*'esenter l'\*'enonc\*'e \*'etat suivant.
  2465. .PP
  2466. Par commodit\*'e, pour simplifier le dessin ou faciliter la
  2467. compr\*'ehension, le m\* | me \*'etat peut appara\* | tre plusieurs fois 
  2468. dans un diagrmme en LDS. Si tel est le cas, le diagramme est consid\*'er\*'e 
  2469. comme enti\*`erement 
  2470. \*'equivalent au diagramme qui r\*'esulterait, de la fusion de toutes les 
  2471. apparitions multiples du m\* | me \*'etat. Les figures\ D\(hy3.8.7 et\ 
  2472. D\(hy3.8.8 donnent des exemples de cette situation. Dans la figure\ D\(hy3.8.7\ 
  2473. b), on utilise un symbole d'\*'etat comme lien avec l'\*'etat principal 
  2474. portant le m\* | me nom, lorsqu'il est mentionn\*'e dans le symbole d'\*'etat 
  2475. suivant. Dans la figure\ D\(hy3.8.8 un \*'etat est repr\*'esent\*'e par 
  2476. des symboles multiples n'ayant chacun qu'un sous\(hyensemble des entr\*'ees 
  2477. (ou des mises en r\*'eserve). 
  2478. .PP
  2479. Les diagrammes a) et b) de la figure D\(hy3.8.7 sont logiquement
  2480. \*'equivalents. Le diagramme\ a) contient une seule apparition de chaque 
  2481. \*'etat 
  2482. tandis que le diagramme\ b) utilise des apparitions multiples. Dans le
  2483. diagramme\ b), l'\*'etat a une apparition principale, dans laquelle tous ses
  2484. symboles d'entr\*'ees (et de mises en r\*'eserve) associ\*'es sont indiqu\*'es. 
  2485. Lorsque cet \*'etat peut \* | tre atteint \*`a partir d'autres points du 
  2486. diagramme (par exemple le point de terminaison d'une transition), il est 
  2487. indiqu\*'e comme un \*'etat sans 
  2488. entr\*'ee ni mise en r\*'eserve associ\*'ee. Un commentaire du symbole 
  2489. d'\*'etat suivant se r\*'ef\*'erant au symbole d'\*'etat am\*'eliorera 
  2490. la clart\*'e, notamment lorsqu'ils 
  2491. apparaissent sur des pages diff\*'erentes.
  2492. .PP
  2493. La figure D\(hy3.8.8 utilise les apparitions multiples d'un \*'etat pour
  2494. constituer l'ensemble total d'entr\*'ees (et de mises en r\*'eserve). Chaque
  2495. apparition de l'\*'etat est indiqu\*'ee uniquement avec un sous\(hyensemble 
  2496. de ces 
  2497. entr\*'ees.
  2498. .RT
  2499. .LP
  2500. .rs
  2501. .sp 01P
  2502. .ad r
  2503. \fBFigure D\(hy3.8.7 a, p.\fR 
  2504. .ad b
  2505. .RT
  2506. .LP
  2507. .rs
  2508. .sp 01P
  2509. .ad r
  2510. \fBFigure D\(hy3.8.7 b, p.\fR 
  2511. .ad b
  2512. .RT
  2513. .LP
  2514. .rs
  2515. .sp 01P
  2516. .ad r
  2517. \fBFigure D\(hy3.8.8, p.\fR 
  2518. .ad b
  2519. .RT
  2520. .PP
  2521. Cette approche a \*'et\*'e appliqu\*'ee avec succ\*`es lorsque des \*'etats
  2522. avaient un nombre relativement grand d'entr\*'ees ou de mises en r\*'eserve 
  2523. mais 
  2524. pr\*'esentaient le risque que le lecteur interpr\*`ete de fa\*,con erron\*'ee 
  2525. le 
  2526. diagramme s'il n'\*'etait pas conscient de l'existence d'occurrences multiples.
  2527. Pour \*'eviter ce malentendu, les \*'etats n'indiquant qu'un sous\(hyensemble
  2528. d'entr\*'ees/mises en r\*'eserve devraient \* | tre accompagn\*'es d'un 
  2529. commentaire 
  2530. indiquant une r\*'ef\*'erence \*`a d'autres \*'etats avec leurs entr\*'ees 
  2531. et mises en 
  2532. r\*'eserve associ\*'ees, comme indiqu\*'e dans la figure\ D\(hy3.8.8.
  2533. .PP
  2534. Des apparitions multiples peuvent \* | tre utilis\*'ees pour attirer
  2535. l'attention du lecteur sur certains aspects (par exemple la s\*'equence normale
  2536. des signaux trait\*'es), laissant d'autres aspects pour d'autres pages (par
  2537. exemple le traitement de situations d'alarme).
  2538. .PP
  2539. Au cours d'une transition un processus ne sait pas explicitement quel signal 
  2540. d'entr\*'ee a occasionn\*'e la transition. Seul le contexte permet de le 
  2541. d\*'eduire (c'est\(hy\*`a\(hydire que cette transition ne peut se produire 
  2542. qu'en cas de 
  2543. r\*'eception d'un signal donn\*'e). Dans la figure\ D\(hy3.8.9, la t\* | che\ 
  2544. T1 ne 
  2545. s'accomplit qu'en cas de r\*'eception de\ I1. Toutefois, la t\* | che\ 
  2546. T2 s'accomplit en cas de r\*'eception de\ I2 ou de\ I3. S'il importe que\ 
  2547. T2 sache quel signal 
  2548. d'entr\*'ee a \*'et\*'e re\*,cu, il est souhaitable de concevoir le processus 
  2549. comme 
  2550. l'illustre la figure\ D\(hy3.8.10.
  2551. .RT
  2552. .LP
  2553. .rs
  2554. .sp 01P
  2555. .ad r
  2556. \fBFigure D\(hy3.8.9, p.\fR 
  2557. .ad b
  2558. .RT
  2559. .LP
  2560. .rs
  2561. .sp 01P
  2562. .ad r
  2563. \fBFigure D\(hy3.8.10, p.\fR 
  2564. .ad b
  2565. .RT
  2566. .LP
  2567. .bp
  2568.